KIT | KIT-Bibliothek | Impressum

Proving Memory Separation in a Microkernel by Code Level Verification

Baumann, C.; Bormer, T.; Blasum, H.; Tverdyshev, S.



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2011
Sprache Englisch
Identifikator ISBN: 978-0-7695-4377-2
KITopen ID: 1000032947
Erschienen in Proceeding ISORCW '11 Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
Verlag IEEE Computer Society, Washington
Seiten 25-32
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page