Startseite > Publikationen > Publikationen

Publikationen

Zhao, Yuhong;Rammig, Franz-Josef:

Online Model Checking for Dependable Real-time Systems.

In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, S. 154-161, 11. - 13. Apr. 2012 IEEE Computer Society, IEEE Computer Society

Bibtex

@inproceedings{hniid=6051,
author = {Zhao, Yuhong and Rammig, Franz-Josef},
title = {Online Model Checking for Dependable Real-time Systems},
booktitle = {16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China},
pages = {154-161},
organization = {IEEE Computer Society},
publisher = {IEEE Computer Society},
month = {11~-~13~} # apr,
year = {2012},
}

BibTeX in die Zwischenablage kopieren

Permalink

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