swMATH13329MaRDI QIDQ25244FDOQ25244
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6042038
Cited In (15)
- Expressing and computing passage time measures of GSPN models with HASL
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Command-based importance sampling for statistical model checking
- Simulative model checking of steady state and time-unbounded temporal operators
- VESTA
- Ymer
- APMC
- MC2
- HASL
- StochKit2
- PLASMA
- SGN Sim
- PLASMA-lab
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Uniform sampling for timed automata with application to language inclusion measurement
This page was built for software: COSMOS
