Startseite > Publikationen > Publikationen

Publikationen

Sudhakar, Krishna;Zhao, Yuhong;Rammig, Franz-Josef:

Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.

In: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), S. 374-383, Reno, NV, Jun. 2014, IEEE Xplore

Bibtex

@inproceedings{hniid=8613,
author = {Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef},
title = {Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System},
booktitle = {Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)},
pages = {374-383},
address = {Reno, NV},
publisher = {IEEE Xplore},
month = jun,
year = {2014},
}

BibTeX in die Zwischenablage kopieren

Permalink

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