Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel
Conference, DAta systems in aerospace ; 2011 ; San Anton, Malta
2011-01-01
31 pages
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.
Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel
British Library Conference Proceedings | 2011
|Technology Requirements and Selection for Securely Partitioning OBSW
British Library Conference Proceedings | 2010
|Validation of Securely Partitioned Systems over Multicore Architectures Based on XtratuM
British Library Conference Proceedings | 2013
|Time and Space Partitioning in Spacecraft Avionics
IEEE | 2009
|