| 2003 | ||
|---|---|---|
| 2 | Thuy Nguyen, Alain Ourghanlian: Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. DSN 2003: 75-79 | |
| 1998 | ||
| 1 | Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris: Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. SAFECOMP 1998: 45-59 | |
| 1 | Vincent David | [1] |
| 2 | Jean Delcoigne | [1] |
| 3 | Philippe Hilsenkopf | [1] |
| 4 | Evelyne Leret | [1] |
| 5 | Thuy Nguyen | [2] |
| 6 | Philippe Paris | [1] |