Nawal Addouche

Publication Activity (10 Years)

Years Active: 2002-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)
Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Addouche
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance. ICRA (2002)