Reviews (0)

Probabilistic Model Checking (PMC): plot r... (1)

• Download

Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) Mathematica plotting Web service operation. This is a second-part for the computationaly exhaustive PMC: compute results workflow (http://www.myexperiment.org/workflows/2266).

Created: 2011-07-20 | Last updated: 2011-07-20

Credits: trybik