| |
Guan, Yong
|
TAV-CPS/IoT '20: "Formal Verification of Discrete ..."
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
Article: isstaws20tavcpsiotmain-id7-p doi:10.1145/3402842.3407159
|
| |
Lu, Zhihao
|
TAV-CPS/IoT '20: "Formal Verification of Discrete ..."
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
Article: isstaws20tavcpsiotmain-id7-p doi:10.1145/3402842.3407159
|
| |
Sun, Jun
|
TAV-CPS/IoT '20: "ObjSim: Efficient Testing ..."
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
Article: isstaws20tavcpsiotmain-id1-p doi:10.1145/3402842.3407158
|
| |
Wang, Rui
|
TAV-CPS/IoT '20: "Formal Verification of Discrete ..."
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
Article: isstaws20tavcpsiotmain-id7-p doi:10.1145/3402842.3407159
|
| |
Yang, Zijiang
|
TAV-CPS/IoT '20: "ObjSim: Efficient Testing ..."
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
Article: isstaws20tavcpsiotmain-id1-p doi:10.1145/3402842.3407158
|