Articles matching “Boudiaf”

  1. 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