TAV-CPS/IoT@ISSTA

Keyphrases

Publications

2020

TAV-CPS/IoT@ISSTA 2020: Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things, Virtual Event, USA, July 19, 2020 TAV-CPS/IoT@ISSTA (2020)
Zhihao Lu, Rui Wang, Yong Guan
Formal verification of discrete event model. TAV-CPS/IoT@ISSTA (2020)
Jun Sun, Zijiang Yang
ObjSim: efficient testing of cyber-physical systems. TAV-CPS/IoT@ISSTA (2020)