Automated model-based verification of mission-critical flight software
5th Quality Mission Software Workshop
13.05.2003
Aufsatz (Konferenz)
Keine Angabe
Englisch
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 Archiv | 1989
|