An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Boudiaf”
Farid Mokhati
,
Noura Boudiaf
,
Mourad Badri
,
Linda Badri
,
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
, pp. 77-102,
PDF
,
HTML
,
DOI
.
Volume 6, no. 4 (May 2007)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact