| |
| 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 | Eric Conquet | [1] |
| 3 | R. Gerlich | [1] |
| 4 | Carlos Rodriguez | [1] |
| 5 | Joseph Sifakis | [1] |