Home > Publications > 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, Oct 4 - 7, 2005

files

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},
}

Copy bibTeX to clipboard

Permalink

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