Sven Patzina. Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (eingebetteten) Systemen. PhD thesis, Darmstadt University of Technology, 2014. [doi]
@phdthesis{dnb-2988,
title = {Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (eingebetteten) Systemen},
author = {Sven Patzina},
year = {2014},
url = {http://d-nb.info/1063728487},
researchr = {https://researchr.org/publication/dnb-2988},
cites = {0},
citedby = {0},
school = {Darmstadt University of Technology},
}