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 | Alain Ourghanlian | [1] |
5 | Philippe Paris | [1] |