@InProceedings{BaumannBeckertBlasumBormer2009b,
author = {Christoph Baumann and Bernhard Beckert and
Holger Blasum and Thorsten Bormer},
title = {Formal Verification of a Microkernel Used in
Dependable Software Systems},
booktitle = {28th International Conference on
Computer Safety, Reliability and Security},
editor = {Bettina Buth and Gerd Rabe and Till Seyfarth},
publisher = {Springer},
series = {LNCS 5775},
pages = {187--200},
year = {2009},
venue = {Hamburg, Germany},
month = sep
}
Formal Verification of a Microkernel Used in Dependable Software Systems
| Autor(en): | Christoph Baumann, Bernhard Beckert, Holger Blasum und Thorsten Bormer |
|---|---|
| In: | 28th International Conference on Computer Safety, Reliability and Security |
| Verleger: | Springer |
| Reihe: | LNCS 5775 |
| Jahr: | 2009 |
| Seiten: | 187-200 |