Correct-by-Construction Controller Synthesis for Safety-Critical Systems
Formal verifizierte Regler-Synthese für sicherheitskritische Systeme
2024
1 Online-Ressource
Hochschulschrift
Elektronische Ressource
Englisch
TOWARDS CORRECT-BY-CONSTRUCTION DESIGN OF SAFETY-CRITICAL EMBEDDED AVIONICS SYSTEMS
British Library Conference Proceedings | 2022
|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
|Provably-Correct Compositional Synthesis of Vehicle Safety Systems
Springer Verlag | 2018
|