Startseite > Publikationen > Publikationen

Publikationen

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

Model-based Runtime Verification Framework for Self-optimizing Systems.

In: the Proceedings of the Fifth Workshop on Runtime Verification (RV'05), Edinburgh, Scotland, UK, 7. - 12. Jul. 2005

Dateien

paper.pdf



Bibtex

@inproceedings{hniid=2390,
author = {Zhao, Yuhong and Oberth{\"u}r, Simon and Kardos, Martin and Rammig, Franz-Josef},
title = {Model-based Runtime Verification Framework for Self-optimizing Systems},
booktitle = {the Proceedings of the Fifth Workshop on Runtime Verification (RV'05)},
address = {Edinburgh, Scotland, UK},
month = {7~-~12~} # jul,
year = {2005},
}

BibTeX in die Zwischenablage kopieren

Permalink

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