![]() | ![]() |
2003 | ||
---|---|---|
2 | EE | Thuy Nguyen, Alain Ourghanlian: Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. DSN 2003: 75-79 |
1998 | ||
1 | EE | 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] |