Mingfu Tuo, Xiaoqiang Zhao, Bo Shen, Wenliang Wu. Modeling and Real-Time Verification for CPS based on Time Automata. In 22nd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2022 - Companion, Guangzhou, China, December 5-9, 2022. pages 576-579, IEEE, 2022. [doi]
Abstract is missing.