| |
| 2007 | ||
|---|---|---|
| 2 | EE | Farid Mokhati, Patrice Gagnon, Mourad Badri: Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. QSIC 2007: 356-362 |
| 2006 | ||
| 1 | Farid Mokhati, Mourad Badri, Patrice Gagnon: Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE 2006: 572-577 | |
| 1 | Mourad Badri | [1] [2] |
| 2 | Farid Mokhati | [1] [2] |