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
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Correct-by-construction methods for the development of safety-critical applications
| Automotive engineering | 2004
Correct-By-Construction Methods for the Development of Safety-Critical Applications
| British Library Conference Proceedings | 2004
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
| TIBKAT | 2024
DataCite | 1878