Formal Verification of Flight Critical Software
AIAA Guidance, Navigation, and Control Conference and Exhibit
2005-01-01
Conference paper
Electronic Resource
English
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 Archive | 1991
|