Author:
Arnold Florian,Belinfante Axel,Van der Berg Freark,Guck Dennis,Stoelinga Mariëlle
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: Dftcalc: a tool for efficient fault tree analysis (extended version). Technical Report TR-CTIT-13-13, CTIT, University of Twente, Enschede (June 2013)
2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE 29(6), 524–541 (2003), doi:10.1109/TSE.2003.1205180
3. Baier, C., Hermanns, H., Katoen, J.-P., Haverkort, B.R.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science 345(1), 2–26 (2005)
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
5. Barlow, R.E., Proschan, F.: Statistical theory of reliability and life testing: probability models. Holt, Rinehart and Winston (1975)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献