Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Christel Seguin
Latest
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
Cite
×