Startseite > Publikationen > Publikationen

Publikationen

Zhao, Yuhong;Rammig, Franz-Josef:

Model-based Runtime Verification Framework.

In: Electronic Notes in Theoretical Computer Science, Band 253(1) , S. 179-193, 2009

Bibtex

@inproceedings{hniid=4072,
author = {Zhao, Yuhong and Rammig, Franz-Josef},
title = {Model-based Runtime Verification Framework},
booktitle = {Electronic Notes in Theoretical Computer Science},
volume = {253(1)},
pages = {179-193},
year = {2009},
}

BibTeX in die Zwischenablage kopieren

Permalink

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