The following pages link to (Q4471933):
Displaying 14 items.
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Construction and verification of performance and reliability models (Q2743687) (← links)
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes (Q2871352) (← links)
- Model Checking Stochastic Branching Processes (Q2912726) (← links)
- Traffic Modelling and Probabilistic Process Abstraction (Q4328969) (← links)
- (Q4411089) (← links)
- Compositional performance modelling with the TIPPtool (Q4779362) (← links)
- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models (Q5014508) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Monte Carlo Methods for Process Algebra (Q5262967) (← links)
- Model checking stochastic automata (Q5267439) (← links)
- Rate lifting for stochastic process algebra -- exploiting structural properties (Q6103028) (← links)
- Action and State Based Computation Tree Measurement Language and Algorithms (Q6104809) (← links)