Back to Results
First PageMeta Content
Probability / Probabilistic complexity theory / Probability theory / PRISM model checker / Software / Sample space / Model checking / Stochastic process / Randomized algorithm


Probabilistic Modeling and Model Checking Erika Ábrahám RWTH Aachen University, Germany SFM’14 Tutorial June 17, 2014
Add to Reading List

Document Date: 2014-06-19 19:17:22


Open Document

File Size: 1,06 MB

Share Result on Facebook