Author:
Arora Shiraj,Rao M. V. Panduranga
Publisher
Springer International Publishing
Reference24 articles.
1. Lecture Notes in Computer Science;M AlTurki,2011
2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Software Eng. 29(6), 524–541 (2003)
3. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
4. Lecture Notes in Computer Science;G Bruns,1999
5. Lecture Notes in Computer Science;G Bruns,2000
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A pattern-based validation method for the credibility evaluation of simulation models;SIMULATION;2019-06-18
2. Statistical Model Checking of Incomplete Stochastic Systems;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018
3. Statistical Model Checking: Past, Present, and Future;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016