Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Latest Publications

TOTAL DOCUMENTS

2

(FIVE YEARS 2)

H-INDEX

0

(FIVE YEARS 0)

Published By ACM

9781450380324

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal verification of discrete event model

Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things ◽

10.1145/3402842.3407159 ◽

2020 ◽

Author(s):

Zhihao Lu ◽

Rui Wang ◽

Yong Guan

Keyword(s):

Formal Verification ◽

Discrete Event ◽

Event Model ◽

Discrete Event Model

Download Full-text

ObjSim: efficient testing of cyber-physical systems

Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things ◽

10.1145/3402842.3407158 ◽

2020 ◽

Author(s):

Jun Sun ◽

Zijiang Yang

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text