Articles matching “Mokhati”

  1. Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour, A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude, pp. 59-77, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  2. Farid Mokhati, Mourad Badri, Generating Maude Specifications From UML Use Case Diagrams, pp. 119-136, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
  3. Patrice Gagnon, Farid Mokhati, Mourad Badri, Applying Model Checking to Concurrent UML Models, pp. 59-84, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
  4. 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