A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface.

Kristian Beckers, Isabelle Ct, Thomas Frese, Denis Hatebur, Maritta Heisel

Browse the full SAFECOMP paper archive.