2004-01-1735 Correct-By-Construction Methods for the Development of Safety-Critical Applications
Session, CAE methods for vehicle crashworthiness and occupant safety, abd safety-critical systems
2004-01-01
8 pages
Held as part of the SAE 2004 world congress
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Correct-by-construction methods for the development of safety-critical applications
Kraftfahrwesen | 2004
|Correct-By-Construction Methods for the Development of Safety-Critical Applications
British Library Conference Proceedings | 2004
|Correct-By-Construction Methods for the Development of Safety-Critical Applications
SAE Technical Papers | 2004
|Correct-by-Construction Controller Synthesis for Safety-Critical Systems
TIBKAT | 2024
|DataCite | 1878