| |
| 2007 | ||
|---|---|---|
| 3 | EE | Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri: Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. Journal of Object Technology 6(4): (2007) |
| 2006 | ||
| 2 | EE | Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf: Modeling Workflows with Recursive ECATNets. SYNASC 2006: 389-398 |
| 2004 | ||
| 1 | EE | Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri: Specifying DIMA Multi-agents Models Using Maude. PRIMA 2004: 29-42 |
| 1 | Linda Badri | [1] [3] |
| 2 | Mourad Badri | [1] [3] |
| 3 | Kamel Barkaoui | [2] |
| 4 | Awatef Hicheur | [2] |
| 5 | Farid Mokhati | [1] [3] |