| |
| 2002 | ||
|---|---|---|
| 2 | EE | Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, N. Williams: CAVEAT : A Tool for Software Validation. DSN 2002: 537-537 |
| 1999 | ||
| 1 | EE | Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen: Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. World Congress on Formal Methods 1999: 1798-1815 |
| 1 | Patrick Baudin | [1] [2] |
| 2 | Anne Pacalet | [1] [2] |
| 3 | Jacques Raguideau | [1] [2] |
| 4 | Famantanantsoa Randimbivololona | [1] |
| 5 | Jean Souyris | [1] |
| 6 | N. Williams | [2] |