Correct-By-Construction Methods for the Development of Safety-Critical Applications
World congress, Society of Automotive Engineers ; 2004 ; Detroit, MI
2004-01-01
1735 pages
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
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
|