Startseite > Publikationen > Publikationen

Publikationen

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

Comprehensive Verification Framework for Dependability of Self-optimizing Systems.

In: the proceedings of the Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), Taipei, Taiwan, 4. - 7. Okt. 2005

Dateien

paper.pdf



Bibtex

@inproceedings{hniid=2410,
author = {Zhao, Yuhong and Kardos, Martin and Oberth{\"u}r, Simon and Rammig, Franz-Josef},
title = {Comprehensive Verification Framework for Dependability of Self-optimizing Systems},
booktitle = {the proceedings of the Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005)},
address = {Taipei, Taiwan},
month = {4~-~7~} # oct,
year = {2005},
}

BibTeX in die Zwischenablage kopieren

Permalink

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