| |
| 2008 | ||
|---|---|---|
| 1 | EE | Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia: Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. IJAOSE 2(4): 422-448 (2008) |
| 1 | Linda Badri | [1] |
| 2 | Mourad Badri | [1] |
| 3 | Sofiane Bouazdia | [1] |
| 4 | Farid Mokhati | [1] |