Integrated Formal Verification and Validation of Safety Critical Software
Avionics panel symposium, Aerospace software engineering for advanced systems architectures ; 1993 ; Paris
1993-01-01
23 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Verification of Flight Critical Software
AIAA | 2005
|Stochastic Validation and Verification of Railroad Safety-Critical Software
British Library Conference Proceedings | 2003
|Formal verification method for safety diagnosis software
Automotive engineering | 2015
|Formal Verification Method for Safety Diagnosis Software
SAE Technical Papers | 2015
|Formal Verification Method for Safety Diagnosis Software
British Library Conference Proceedings | 2015
|