Christian Antoine

Publication Activity (10 Years)

Years Active: 1993-2006
Publications (10 Years): 0

Publications

Nawal Addouche, Christian Antoine, Jacky Montmain
Methodology for UML Modeling and Formal Verification of Real-Time Systems. CIMCA/IAWTIC (2006)
Nawal Addouche, Christian Antoine, Jacky Montmain
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. SAFECOMP (2005)
Nawal Addouche, Christian Antoine, Jacky Montmain
UML models for dependability analysis of real-time systems. SMC (6) (2004)
H. N. Nguyen, P. Koumou, Bernard Candaele, Michel Sarlotte, Christian Antoine, S. Emeriau
Verification of a DSP IP cores by model checking. HLDVT (2002)
Christian Antoine, Bernard Le Goff, Jean-Eric Pin
A Graphic Language Based on Timing Diagrams. FSTTCS (1993)