| 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 |
| 1993 |
|---|
| 1 | | Christian Antoine,
Bernard Le Goff,
Jean-Eric Pin:
A Graphic Language Based on Timing Diagrams.
FSTTCS 1993: 306-316 |
