| |
| 2008 | ||
|---|---|---|
| 2 | EE | Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali: Spécification et vérification d'un ordonnanceur en B via les automates temporisés. L'OBJET 14(4): 43-72 (2008) |
| 2006 | ||
| 1 | EE | Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit: Verification of a scheduler in B through a timed automata specification. SAC 2006: 1800-1801 |
| 1 | Jean-Paul Bodeveix | [1] [2] |
| 2 | Mamoun Filali | [1] [2] |
| 3 | Miloud Rached Irit | [1] |
| 4 | M. Rached | [2] |