![]() | ![]() |
| 2008 | ||
|---|---|---|
| 1 | Jean-Charles Chaudemar, Charles Castel, Christel Seguin: FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. ABZ 2008: 358 | |
| 1 | Charles Castel | [1] |
| 2 | Christel Seguin | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page