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
Aufsatz (Konferenz)
Englisch
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
Europäisches Patentamt | 2022
|Europäisches Patentamt | 2024
|Vehicle marshaling method and device and terminal equipment
Europäisches Patentamt | 2021
|VEHICLE MARSHALING METHOD, APPARATUS AND SYSTEM, VEHICLE, AND STORAGE MEDIUM
Europäisches Patentamt | 2022
|