Correct-by-construction methods for the development of safety-critical applications
Korrektur-durch-Konstruktion-Methoden bei der Entwicklung von sicherheitskritischen Anwendungen.
2004
8 pages
SAE-Paper;2004-01-1735;2004;CAE Methods for Vehicle Crashworthiness and Occupant Safety...;SAE Spec.Publ.; SP-1870
Miscellaneous
English
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
|2004-01-1735 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
|TOWARDS CORRECT-BY-CONSTRUCTION DESIGN OF SAFETY-CRITICAL EMBEDDED AVIONICS SYSTEMS
British Library Conference Proceedings | 2022
|