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

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

Browse the full QRS paper archive.