Hardi Hungar, Marc Behrens. Opening up the Verification and Validation of Safety-Critical Software. In Stefan Wagner, Horst Lichter, editors, Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen. Volume 215 of LNI, pages 483-491, GI, 2013.
@inproceedings{HungarB13,
title = {Opening up the Verification and Validation of Safety-Critical Software},
author = {Hardi Hungar and Marc Behrens},
year = {2013},
researchr = {https://researchr.org/publication/HungarB13},
cites = {0},
citedby = {0},
pages = {483-491},
booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen},
editor = {Stefan Wagner and Horst Lichter},
volume = {215},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-609-1},
}