Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Stream Types;Proceedings of the ACM on Programming Languages;2024-06-20
2. High-Integrity Runtime Verification;Computer;2024-04
3. TP-DejaVu: Combining Operational and Declarative Runtime Verification;Lecture Notes in Computer Science;2023-12-30
4. Programming event monitors;International Journal on Software Tools for Technology Transfer;2023-06-22
5. Runtime verification of real-time event streams using the tool HStriver;Formal Methods in System Design;2022-08