Christian Antoine (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Nawal Addouche, Christian Antoine, Jacky Montmain: Methodology for UML Modeling and Formal Verification of Real-Time Systems. CIMCA/IAWTIC 2006: 17

3 Nawal Addouche, Christian Antoine, Jacky Montmain: Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. SAFECOMP 2005: 24-36

2 Nawal Addouche, Christian Antoine, Jacky Montmain: UML models for dependability analysis of real-time systems. SMC (6) 2004: 5209-5214

Selection of 3 from 4 records - Christian Antoine has 4 coauthors

4		Nawal Addouche, Christian Antoine, Jacky Montmain: Methodology for UML Modeling and Formal Verification of Real-Time Systems. CIMCA/IAWTIC 2006: 17
3		Nawal Addouche, Christian Antoine, Jacky Montmain: Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. SAFECOMP 2005: 24-36
2		Nawal Addouche, Christian Antoine, Jacky Montmain: UML models for dependability analysis of real-time systems. SMC (6) 2004: 5209-5214