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
digital avionics systems , IEEE , DASC , AIAA , aeronautics , astronautics
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Commutation circuit, flexible marshaling unit and flexible marshaling method
European Patent Office | 2022
|European Patent Office | 2024
|Vehicle marshaling method and device and terminal equipment
European Patent Office | 2021
|VEHICLE MARSHALING METHOD, APPARATUS AND SYSTEM, VEHICLE, AND STORAGE MEDIUM
European Patent Office | 2022
|