Executable Formal Models for Validation and Specless Verification
19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA
2000-01-01
1A4
IEEE cat nos 00CH37126
Conference paper
English
digital avionics systems , IEEE , DASC , AIAA , aeronautics , astronautics
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Executable formal models for validation and specless verification
Tema Archive | 2000
|Automatic validation of Simulink/Stateflow models - formal verification of functional requirements
Automotive engineering | 2005
|BASE | 2013
|Hierarchical Accumulative Validation of Executable Control Specifications
SAE Technical Papers | 2013
|