%0 Conference Paper %1 conf/aspdac/ReiterPVBR13 %A Reiter, Sebastian %A Pressler, Michael %A Viehl, Alexander %A Bringmann, Oliver %A Rosenstiel, Wolfgang %B ASP-DAC %D 2013 %I IEEE %K %P 417-422 %T Reliability assessment of safety-relevant automotive systems in a model-based design flow. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#ReiterPVBR13 %@ 978-1-4673-3029-9

@inproceedings{conf/aspdac/ReiterPVBR13, added-at = {2023-12-13T08:40:42.000+0100}, author = {Reiter, Sebastian and Pressler, Michael and Viehl, Alexander and Bringmann, Oliver and Rosenstiel, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2b6a8b406c17738c933b7d4648e3e194e/admin}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2013}, ee = {https://doi.org/10.1109/ASPDAC.2013.6509632}, interhash = {c62fe983137b3b1bd7e82c07f92aa6b4}, intrahash = {b6a8b406c17738c933b7d4648e3e194e}, isbn = {978-1-4673-3029-9}, keywords = {}, pages = {417-422}, publisher = {IEEE}, timestamp = {2023-12-13T08:40:42.000+0100}, title = {Reliability assessment of safety-relevant automotive systems in a model-based design flow.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#ReiterPVBR13}, year = 2013 }