Towards Formal Verification of a Separation Microkernel
Conference, DAta systems in aerospace; Proceedings of DASIA 2013 ; 2013 ; Porto, Portugal
01.01.2013
41 pages
Includes bibliographical references; Held in e-store (RMS)
Aufsatz (Konferenz)
Englisch
DASIA , DAta systems , Aerospace , ESA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Integrating Formal Model Checking with the RTEdge™ AADL Microkernel
SAE Technical Papers | 2011
|LEO/P4 - A Microkernel Based OSEK Implementation
British Library Conference Proceedings | 2000
|LEO/P4 - a microkernel based OSEK implementation
Tema Archiv | 2000
|An approach to formal verification of free-flight separation
Tema Archiv | 2010
|