www.prismmodelchecker.org
[MCT94] J. Muppala, G. Ciardo and K. Trivedi. Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability, 1(2), pages 9--20, SAE International. July 1994. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications