A Viable Approach to Formal Verification of Complex Aerospace Systems
AIAA Scitech 2019 Forum
2019-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|Formal verification of safety requirements on complex systems
Tema Archiv | 1996
|A Framework for Verification and Validation of Complex Aerospace Systems
British Library Conference Proceedings | 2013
|