Startseite > Publikationen > Publikationen

Publikationen

Rammig, Franz-Josef;Zhao, Yuhong;Samara, Sufyan:

On-line Model Checking as Operating System Service.

In: The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'09), Nov. 2009 IFIP WG 10.5, Springer

Bibtex

@inproceedings{hniid=4073,
author = {Rammig, Franz-Josef and Zhao, Yuhong and Samara, Sufyan},
title = {On-line Model Checking as Operating System Service},
booktitle = {The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'09)},
organization = {IFIP WG 10.5},
publisher = {Springer},
month = nov,
year = {2009},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/4073