KIT | KIT-Bibliothek | Impressum

Formal Verification of a Microkernel Used in Dependable Software Systems

Baumann, C.; Beckert, B.; Blasum, H.; Bormer, T.



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2009
Sprache Englisch
Identifikator ISBN: 978-3-642-04467-0
ISSN: 0302-9743
KITopen ID: 1000032948
Erschienen in Proceeding SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Verlag Springer, Berlin
Seiten 187-200
Serie Lecture Notes in Computer Science ; 5775
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page