Publisher
Springer International Publishing
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mutant Equivalence as Monotonicity in Parametric Timed Games;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
2. Bounded DBM-based clock state construction for timed automata in Uppaal;International Journal on Software Tools for Technology Transfer;2022-09-08
3. Timed Automata Robustness Analysis via Model Checking;Logical Methods in Computer Science;2022-07-29
4. Repairing Real-Time Requirements;Automated Technology for Verification and Analysis;2022
5. Distributed parametric model checking timed automata under non-Zenoness assumption;Formal Methods in System Design;2021-12