- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |