Login / Signup
TAV-CPS/IoT@ISSTA
2020
2020
2020
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)