FORMAL VALIDATION AND VERIFICATION OF FLIGHT CRITICAL SYSTEM SOFTWARE USING MODELING AND SIMULATION
MFPT Conference ; 2014 ; Virginia Beach, Va.
2019
Aufsatz (Konferenz)
Englisch
Formal Verification of Flight Critical Software
AIAA | 2005
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|