PLASMA
From MaRDI portal
Software:30260
swMATH18420MaRDI QIDQ30260FDOQ30260
Author name not available (Why is that?)
Cited In (5)
- Model-based testing of probabilistic systems
- Command-based importance sampling for statistical model checking
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
- Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
- A Platform for High Performance Statistical Model Checking – PLASMA
This page was built for software: PLASMA
