Cited in
(13)- 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
- JTorX
- TorX
- VESTA
- COSMOS
- Ymer
- APMC
- PLASMA-lab
- FatTire
- A platform for high performance statistical model checking -- PLASMA
This page was built for software: PLASMA
