TOWARDS CORRECT-BY-CONSTRUCTION DESIGN OF SAFETY-CRITICAL EMBEDDED AVIONICS SYSTEMS
33rd International Council of the Aeronautical Sciences congress, ICAS
2022-01-01
22 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Towards safety critical middleware for avionics applications
Tema Archive | 2002
|Safety-Centric Design of Distributed Embedded Avionics
IEEE | 2008
|Correct-by-Construction Controller Synthesis for Safety-Critical Systems
TIBKAT | 2024
|Reusing Safety-Critical Avionics Software
SAE Technical Papers | 2012
|Reusing Safety-Critical Avionics Software
British Library Conference Proceedings | 2012
|