Modeling and Marshaling: Making Tests from Model Checker Counterexamples
19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA
2000-01-01
1B3
IEEE cat nos 00CH37126
Conference paper
English
aeronautics , digital avionics systems , IEEE , astronautics , AIAA , DASC
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Engineering Index Backfile | 1967
|Commutation circuit, flexible marshaling unit and flexible marshaling method
European Patent Office | 2022
|European Patent Office | 2024
|