Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Opacity of Timed Automata;Lecture Notes in Computer Science;2024-09-11
2. Guaranteeing Timed Opacity using Parametric Timed Model Checking;ACM Transactions on Software Engineering and Methodology;2022-09-08
3. IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability;Computer Aided Verification;2021
4. Parametric non-interference in timed automata;2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS);2020-10