| |
| * | 2007 | |
|---|---|---|
| 2 | EE | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli: Merging partial system behaviours: composition of use-case automata. IET Software 1(4): 143-160 (2007) |
| 2006 | ||
| 1 | EE | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli: Composition of Use Cases Using Synchronization and Model Checking. FORTE 2006: 292-306 |
| 1 | Rachida Dssouli | [1] [2] |
| 2 | Rabeb Mizouni | [1] [2] |
| 3 | Aziz Salah | [1] [2] |