Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward.

Xi Zheng, Christine Julien

Browse the full ICSE paper archive.