Publisher
Springer International Publishing
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Online hazard prediction of train operations with parametric hybrid automata based runtime verification;Reliability Engineering & System Safety;2024-01
2. Concurrent runtime verification of data rich events;International Journal on Software Tools for Technology Transfer;2023-06-26
3. Monitoring the Internet Computer;Formal Methods;2023
4. Correct and Efficient Policy Monitoring, a Retrospective;Automated Technology for Verification and Analysis;2023
5. Case study for Data Center Distributed Monitoring;2022 IEEE 12th Annual Computing and Communication Workshop and Conference (CCWC);2022-01-26