S. Ayache

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

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)