Reviews (0)
For Workflow: [deprecated] Probabilistic Model Checking (PMC): compute results
[deprecated] Probabilistic Model Checking ... (1)
This is a Taverna 1 version; if you're using latest Taverna 2 workbench please use: www.myexperiment.org/workflows/2266.html .
Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) PRISM model translation and model checking Web service operations.
Created: 2011-01-26 | Last updated: 2011-07-20
Credits: trybik