Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System
AIAA Infotech @ Aerospace
01.01.2016
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 2016
|Software safety architecture that can be formally verified
Kraftfahrwesen | 2004
|