@inproceedings{mci/Hungar2008,
author = {Hungar, Hardi AND Reyzl, Erwin},
title = {Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung},
booktitle = {Software Engineering 2008},
year = {2008},
editor = {Maalej, Walid AND Brügge, Bernd} ,
pages = { 299-302 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}