Funder
European Research Council
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification;2023 IFIP/IEEE 31st International Conference on Very Large Scale Integration (VLSI-SoC);2023-10-16
2. Quantitative Safety and Liveness;Lecture Notes in Computer Science;2023
3. Probabilistic causes in Markov chains;Innovations in Systems and Software Engineering;2022-04-25
4. Approximate Safety Properties in Metric Transition Systems;IEEE Transactions on Reliability;2022-03
5. Probabilistic Causes in Markov Chains;Automated Technology for Verification and Analysis;2021