1 paper · 1 filter
Mehdi Kargahi, Ashutosh Trivedi
The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration o…