On the state of the art in verification and validation in cyber physical systems
Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid
Research output: Contribution to journal › Article
Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid
Research output: Contribution to journal › Article