![]() | ![]() |
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 |
1 | Nawal Addouche | [2] [3] [4] |
2 | Bernard Le Goff | [1] |
3 | Jacky Montmain | [2] [3] [4] |
4 | Jean-Eric Pin | [1] |