Pages that link to "Item:Q4779362"
From MaRDI portal
The following pages link to Compositional performance modelling with the TIPPtool (Q4779362):
Displayed 4 items.
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Approximate mean value analysis based on Markov chain aggregation by composition (Q1434435) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)