| 2007 |
|---|
| 4 | | Rabeb Mizouni,
Aziz Salah,
Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering.
SEKE 2007: 238- |
| 2006 |
|---|
| 3 | EE | Rabeb Mizouni,
Aziz Salah,
Siamak Kolahi,
Rachida Dssouli:
Composition of Use Cases Using Synchronization and Model Checking.
FORTE 2006: 292-306 |
| 2 | EE | Rabeb Mizouni,
Sofiène Tahar,
Paul Curzon:
Hybrid verification integrating HOL theorem proving with MDG model checking.
Microelectronics Journal 37(11): 1200-1207 (2006) |
| 2004 |
|---|
| 1 | EE | Aziz Salah,
Rabeb Mizouni,
Rachida Dssouli,
Benoit Parreaux:
Formal Composition of Distributed Scenarios.
FORTE 2004: 213-228 |
