Sebastian Reiter, Michael Pressler, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel. Reliability assessment of safety-relevant automotive systems in a model-based design flow. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 417-422, IEEE, 2013. [doi]
Abstract is missing.