Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems
AIAA Information Systems-AIAA Infotech @ Aerospace
2017-01-01
Conference paper
Electronic Resource
English
British Library Conference Proceedings | 2017
|Formal Validation of Aerospace Software
British Library Conference Proceedings | 2013
|Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|A Framework for Verification and Validation of Complex Aerospace Systems
British Library Conference Proceedings | 2013
|Executable Formal Models for Validation and Specless Verification
British Library Conference Proceedings | 2000
|