The following pages link to PLASMA (Q30260):
Displaying 5 items.
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← links)
- A Platform for High Performance Statistical Model Checking – PLASMA (Q2894294) (← links)
- Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults (Q3303928) (← links)