Workflows

Probabilistic Model Checking (PMC): comput... (1)

• Download

Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) PRISM model translation and model checking Web service operations.

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

Credits: trybik

Multi-parameter sensitivity analysis (MPSA... (2)

• Download

Exemplary multi-parameter sensitivity analysis (MPSA) experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) WS operations. In this version of MPSA PRISM probabilistic model checking is basis of analysis of SBML model parameters space.

Created: 2011-07-14 | Last updated: 2011-07-21

Credits: trybik