| |
| 1999 | ||
|---|---|---|
| 2 | EE | Eric Conquet, Jean-Luc Marty: Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. World Congress on Formal Methods 1999: 57-75 |
| 1996 | ||
| 1 | S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich: Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. FTCS 1996: 353-357 | |
| 1 | S. Ayache | [1] |
| 2 | R. Gerlich | [1] |
| 3 | Philippe Humbert | [1] |
| 4 | Jean-Luc Marty | [2] |
| 5 | Carlos Rodriguez | [1] |
| 6 | Joseph Sifakis | [1] |