Author:
Shao Zhucheng,Liu Jing,Ding Zuohua,Chen Mingsong,Jiang Ningkang
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Monitoring of spatio-temporal properties with nonlinear SAT solvers;International Journal on Software Tools for Technology Transfer;2024-02-22
2. Time: It is only Logical!;Theories of Programming and Formal Methods;2023
3. Runtime Verification of Spatio-Temporal Specification Language;Mobile Networks and Applications;2021-06-21
4. STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems;2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS);2020-12
5. Model Checking of Spatial Logic;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12