Publications

Kerstan, Timo; Oberthür, Simon: A Configurable Hybrid Kernel for Embedded Real-time Systems. In: Rettberg, Achim editor. : Proceedings of the International Embedded Systems Symposium, 29 May - 1 June 2007 IFIP WG 10.5, Springer-Verlag

files

Configurable Hybridkernel.pdf

Bibtex

@inproceedings{hniid=2793,
author = {Kerstan, Timo and Oberthür, Simon},
title = {A Configurable Hybrid Kernel for Embedded Real-time Systems},
editor = {Rettberg, Achim},
booktitle = {Proceedings of the International Embedded Systems Symposium},
organization = {IFIP WG 10.5},
publisher = {Springer-Verlag},
month = {29~} # may # { - 1~} # jun,
year = {2007},
}