KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Verification of a Microkernel Used in Dependable Software Systems

Baumann, C.; Beckert, B. ORCID iD icon; Blasum, H.; Bormer, T.


Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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-Verlag
Seiten 187-200
Serie Lecture Notes in Computer Science ; 5775
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page