Startseite > Publikationen > Publikationen

Publikationen

Zhao, Yuhong;Oberthür, Simon;Rammig, Franz-Josef:

Runtime Model Checking for Safety and Consistency of Self-optimizing Mechatronic Systems.

In: Proceedings of the 7th International Heinz Nixdorf Symposium: Self-optimzing Mechatronic Systems, ALB-HNI-Verlagsschriftenreihe, 20. - 21. Feb. 2008 Heinz Nixdorf Institut, Heinz Nixdorf Institut

Bibtex

@inproceedings{hniid=3182,
author = {Zhao, Yuhong and Oberth{\"u}r, Simon and Rammig, Franz-Josef},
title = {Runtime Model Checking for Safety and Consistency of Self-optimizing Mechatronic Systems},
booktitle = {Proceedings of the 7th International Heinz Nixdorf Symposium: Self-optimzing Mechatronic Systems},
series = {ALB-HNI-Verlagsschriftenreihe},
organization = {Heinz Nixdorf Institut},
publisher = {Heinz Nixdorf Institut},
month = {20~-~21~} # feb,
year = {2008},
}

BibTeX in die Zwischenablage kopieren

Permalink

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