Formal Verification of Flight Critical Software
AIAA Guidance, Navigation, and Control Conference and Exhibit
01.01.2005
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|Development and verification of software for flight safety critical systems
Tema Archiv | 1991
|