Towards simulation based evaluation of safety goal violations in automotive systems

Oezlem Karaca, Jérôme Kirscher, Linus Maurer, Georg Pelz. Towards simulation based evaluation of safety goal violations in automotive systems. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-8, IEEE, 2014. [doi]

Abstract

Abstract is missing.