PLASMA
From MaRDI portal
Software:30260
swMATH18420MaRDI QIDQ30260FDOQ30260
Author name not available (Why is that?)
Cited In (5)
- Model-based testing of probabilistic systems
- Computing scores of forwarding schemes in switched networks with probabilistic faults
- Statistical approximation of optimal schedulers for probabilistic timed automata
- Command-based importance sampling for statistical model checking
- A platform for high performance statistical model checking -- PLASMA
This page was built for software: PLASMA
