Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
2. Using Formal Methods for On-The-Fly Time Series Verification;12th Latin-American Symposium on Dependable and Secure Computing;2023-10-16
3. pyUPPAAL: A Python Package for Risk Analysis of CPS;Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023);2023-05-09
4. Language Inclusion Checking of Timed Automata Based on Property Patterns;Applied Sciences;2022-12-16
5. SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems;IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society;2022-10-17