swMATH18420MaRDI QIDQ30260FDOQ30260
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-28756-5_37
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
