Powered by
4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2020), July 19, 2020,
Virtual Event, USA
4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2020)
Frontmatter
Papers
ObjSim: Efficient Testing of Cyber-Physical Systems
Jun Sun and
Zijiang Yang
(Singapore Management University, Singapore; GuardStrike, China)
@InProceedings{TAV-CPS/IoT20p1,
author = {Jun Sun and Zijiang Yang},
title = {ObjSim: Efficient Testing of Cyber-Physical Systems},
booktitle = {Proc.\ TAV-CPS/IoT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3402842.3407158},
year = {2020},
}
Publisher's Version
Formal Verification of Discrete Event Model
Zhihao Lu,
Rui Wang, and
Yong Guan
(Capital Normal University, China)
@InProceedings{TAV-CPS/IoT20p3,
author = {Zhihao Lu and Rui Wang and Yong Guan},
title = {Formal Verification of Discrete Event Model},
booktitle = {Proc.\ TAV-CPS/IoT},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3402842.3407159},
year = {2020},
}
Publisher's Version
proc time: 0.66