%0 Journal Article %1 journals/ress/GhadhabJKKV19 %A Ghadhab, Majdi %A Junges, Sebastian %A Katoen, Joost-Pieter %A Kuntz, Matthias %A Volk, Matthias %D 2019 %J Reliab. Eng. Syst. Saf. %K dblp %P 37-50 %T Safety analysis for vehicle guidance systems with dynamic fault trees. %U http://dblp.uni-trier.de/db/journals/ress/ress186.html#GhadhabJKKV19 %V 186

@article{journals/ress/GhadhabJKKV19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Ghadhab, Majdi and Junges, Sebastian and Katoen, Joost-Pieter and Kuntz, Matthias and Volk, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2754d31e4bdeada7fdcb673f89a6c89fa/dblp}, ee = {https://doi.org/10.1016/j.ress.2019.02.005}, interhash = {29b61e3cfc43efbd87af9d9398ad7ff6}, intrahash = {754d31e4bdeada7fdcb673f89a6c89fa}, journal = {Reliab. Eng. Syst. Saf.}, keywords = {dblp}, pages = {37-50}, timestamp = {2024-04-08T15:32:58.000+0200}, title = {Safety analysis for vehicle guidance systems with dynamic fault trees.}, url = {http://dblp.uni-trier.de/db/journals/ress/ress186.html#GhadhabJKKV19}, volume = 186, year = 2019 }