Formal Specification and Verification of Hybrid Programs for Urban Air Mobility
Formal V&V for G&C software and auto-coding for G&C ; 2021 ; Online, US
Miscellaneous
No indication
English
Formal specification and verification of Ada software
NTRS | 1991
|Formal specification and verification of Ada software
AIAA | 1991
|Verification of PLC programs using formal proof techniques
Tema Archive | 2008
|British Library Conference Proceedings | 2000
|