| 2006 |
|---|
| 4 | EE | Nawal Addouche,
Christian Antoine,
Jacky Montmain:
Methodology for UML Modeling and Formal Verification of Real-Time Systems.
CIMCA/IAWTIC 2006: 17 |
| 2005 |
|---|
| 3 | EE | Nawal Addouche,
Christian Antoine,
Jacky Montmain:
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.
SAFECOMP 2005: 24-36 |
| 2004 |
|---|
| 2 | EE | Nawal Addouche,
Christian Antoine,
Jacky Montmain:
UML models for dependability analysis of real-time systems.
SMC (6) 2004: 5209-5214 |
| 2002 |
|---|
| 1 | | Daniel I. Racoceanu,
Noureddine Zerhouni,
Nawal Addouche:
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance.
ICRA 2002: 4046-4052 |
