The following pages link to (Q4503927):
Displaying 6 items.
- Preface to the special issue on probabilistic model checking (Q2248070) (← links)
- Distribution, approximation and probabilistic model checking (Q2848656) (← links)
- On Almost-Sure Properties of Probabilistic Discrete Event Systems (Q3100947) (← links)
- Probabilistic Guarded P Systems, A New Formal Modelling Framework (Q3454890) (← links)
- The Unmet Challenge of Timed Systems (Q5170750) (← links)
- Validation of Stochastic Systems (Q5325838) (← links)