Author:
Olderog Ernst-Rudiger,Dierks Henning
Publisher
Cambridge University Press
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scalable Redundancy Detection for Real-Time Requirements;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24
2. Quasi-Equal Clock Reduction On-the-Fly;Lecture Notes in Computer Science;2021
3. On Implementable Timed Automata;Formal Techniques for Distributed Objects, Components, and Systems;2020
4. A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2020
5. Smart Healthcare Applications and Real-Time Analytics Through Edge Computing;Internet of Things Use Cases for the Healthcare Industry;2020