Nawal Addouche

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
Methodology for UML Modeling and Formal Verification of Real-Time Systems.
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.
Proceedings of the Computer Safety, 2005

2004
UML models for dependability analysis of real-time systems.
Proceedings of the IEEE International Conference on Systems, 2004

2002
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002


  Loading...