A Viable Approach to Formal Verification of Complex Aerospace Systems
AIAA Scitech 2019 Forum
01.01.2019
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
|