Nawal Addouche

According to our database, Nawal Addouche authored at least 4 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Methodology for UML Modeling and Formal Verification of Real-Time Systems.

Nawal Addouche, Christian Antoine, Jacky Montmain

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

2005

Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.

Nawal Addouche, Christian Antoine, Jacky Montmain

Proceedings of the Computer Safety, 2005

2004

UML models for dependability analysis of real-time systems.

Nawal Addouche, Christian Antoine, Jacky Montmain

Proceedings of the IEEE International Conference on Systems, 2004

2002

Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance.

Daniel Racoceanu, Noureddine Zerhouni, Nawal Addouche

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002