Date: 2008-12-15 10:57:28Markov processes Probability Markov models Model checkers PRISM model checker Model checking Markov reward model Markov chain Markov decision process Probabilistic CTL Prism | | PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 250,67 KBShare Document on Facebook
|