PLASMA
From MaRDI portal
Software:30260
No author found.
Related Items (5)
A Platform for High Performance Statistical Model Checking – PLASMA ⋮ Command-based importance sampling for statistical model checking ⋮ Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults ⋮ Model-based testing of probabilistic systems ⋮ Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
This page was built for software: PLASMA
