A Viable Approach to Formal Verification of Complex Aerospace Systems
AIAA Scitech 2019 Forum
2019-01-01
Conference paper
Electronic Resource
English
Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|Formal verification of safety requirements on complex systems
Tema Archive | 1996
|