| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Christian Antoine | [2] [3] [4] |
| 2 | Jacky Montmain | [2] [3] [4] |
| 3 | Daniel Racoceanu (Daniel I. Racoceanu) | [1] |
| 4 | Noureddine Zerhouni | [1] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page