@incollection{Goldbach2013, author = {Daniel Goldbach}, title = {Zuverl{\"a}ssigkeitsanalyse zur Verifikation der Einhaltung von quantitativen Sicherheitsanforderungen.}, booktitle = {Diagnose in mechatronischen Fahrzeugsystemen V : neue Verfahren f{\"u}r Test, Pr{\"u}fung und Diagnose von E/E-Systemen im Kfz ; [anl{\"a}sslich der 6. Tagung "Diagnose in Mechatronischen Fahrzeugsystemen" in Dresden]. Bernard B{\"a}ker ... (Hrsg.)}, isbn = {978-3-8169-3149-2}, year = {2013}, }