Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System
AIAA Infotech @ Aerospace
2016-01-01
Conference paper
Electronic Resource
English
British Library Conference Proceedings | 2016
|Software safety architecture that can be formally verified
Automotive engineering | 2004
|