Automated model-based verification of mission-critical flight software
5th Quality Mission Software Workshop
2003-05-13
Conference paper
No indication
English
Formal Verification of Flight Critical Software
AIAA | 2005
|Automated verification of flight software. User's manual
NTRS | 1982
|V&V of flight and mission-critical software
Tema Archive | 1989
|