A CASE STUDY IN FORMAL SPECIFICATION AND RUNTIME VERIFICATION OF A CUBESAT COMMUNICATIONS SYSTEM
AIAA SciTech Forum and Exposition ; 2021 ; Online
2021
Aufsatz (Konferenz)
Englisch
COMMUNICATIONS SYSTEM FOR CUBESAT
TIBKAT | 2022
|Deep Space Cubesat Communications
AIAA | 2018
|NTRS
|Formal specification and verification of Ada software
NTRS | 1991
|