Nawal Addouche

	2006
4		Nawal Addouche, Christian Antoine, Jacky Montmain: Methodology for UML Modeling and Formal Verification of Real-Time Systems. CIMCA/IAWTIC 2006: 17
	2005
3		Nawal Addouche, Christian Antoine, Jacky Montmain: Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. SAFECOMP 2005: 24-36
	2004
2		Nawal Addouche, Christian Antoine, Jacky Montmain: UML models for dependability analysis of real-time systems. SMC (6) 2004: 5209-5214
	2002
1		Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Addouche: Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance. ICRA 2002: 4046-4052

Coauthor Index

1	Christian Antoine	[2] [3] [4]
2	Jacky Montmain	[2] [3] [4]
3	Daniel I. Racoceanu	[1]
4	Noureddine Zerhouni	[1]

Colors in the list of coauthors