Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel. A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 90-108, Springer, 2015. [doi]
Abstract is missing.