Author:
Katoen Joost-Pieter,Stoelinga Mariëlle
Publisher
Springer International Publishing
Reference54 articles.
1. Ammar, M., Hamad, G.B., Mohamed, O.A., Savaria, Y.: Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. In: Proceedins of FDL. IEEE (2016)
2. Lecture Notes in Computer Science;F Arnold,2013
3. Lecture Notes in Computer Science;F Arnold,2015
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;H Boudali,2007
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献