TY - CHAP A1 - Biank, Sanjana A1 - Huber, Werner A1 - Meyer, Matthias A1 - Hof, Hans-Joachim A1 - Hempen, Thomas T1 - Model-based security and safety assurance for automotive safety systems BT - Extended Abstract T2 - Proceedings of 3. ACM Computer Science in Cars Symposium (CSCS 2019) KW - Model-based Testing KW - Security KW - Safety KW - Verification KW - Validation Y1 - 2019 UR - https://acm-cscs.org/_/2019/ UR - https://cscs19.cispa.saarland/ PB - ACM CY - New York ER -