Aktuell:
06. Januar 2021
„Menschen sind Maschinen immer unterlegen“: Laut Experten müssen wir das in Zukunft berücksichtigen

Wie kann die Zusammenarbeit von Mensch und Maschine am besten gestaltet werden? Dieser Frage widmen sich die Paderborner ...
Publikationen
Zhao, Yuhong;Oberthür, Simon;Kardos, Martin;Rammig, Franz-Josef:
BibTeX in die Zwischenablage kopieren
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. 2005Dateien
paper.pdfBibtex
@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},
}
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