Verification and Validation of a Cyber-Physical System in the Automotive Domain

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan. Verification and Validation of a Cyber-Physical System in the Automotive Domain. In 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017. pages 326-333, IEEE, 2017. [doi]

Abstract

Abstract is missing.