Probabilistic Model Checking (PMC): comput...
(1)
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