ISSTA 2020 Workshops
29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)
Powered by
Conference Publishing Consulting

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

Workshop TAV-CPS/IoT 2020 – Author Index

Contents - Abstracts - Authors

G L S W Y

Guan, Yong TAV-CPS/IoT '20: "Formal Verification of Discrete ..."
Lu, Zhihao TAV-CPS/IoT '20: "Formal Verification of Discrete ..."
Sun, Jun TAV-CPS/IoT '20: "ObjSim: Efficient Testing ..."
Wang, Rui TAV-CPS/IoT '20: "Formal Verification of Discrete ..."
Yang, Zijiang TAV-CPS/IoT '20: "ObjSim: Efficient Testing ..."

5 authors

proc time: 0.14