Author:
Khan Shahid,Katoen Joost-Pieter,Bouissou Marc
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs;2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC);2021-12
2. BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes;2021 17th European Dependable Computing Conference (EDCC);2021-09
3. Model Checking the Multi-Formalism Language FIGARO;2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2021-06
4. Scalable Reliability Analysis by Lazy Verification;Lecture Notes in Computer Science;2021