Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Baumann und Thorsten Bormer
In:Doctoral Symposium on Systems Software Verification (DS SSV'09)
Verleger:RWTH Aachen University
Reihe:Aachener Informatik Berichte
Jahr:2009

BibTeX

@inproceedings{BaumannBormer09,
  author    = {Christoph Baumann and Thorsten Bormer},
  title     = {Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project},
  booktitle = {Doctoral Symposium on Systems Software Verification (DS SSV'09)},
  series    = {Aachener Informatik Berichte},
  publisher = {RWTH Aachen University},
  editor    = {Huuck, R. and Klein, G. and Schlich, B.},
  year      = {2009},
  month     = jun
}