Pages that link to "Item:Q686334"
From MaRDI portal
The following pages link to Specification techniques for Markov reward models (Q686334):
Displaying 6 items.
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Analysis of inhomogeneous Markov reward models (Q1434438) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- A methodology for the specification and generation of Markov models (Q3976659) (← links)
- On the generalized reward generator for stochastic fluid models: A new equation for <i><b>Ψ</b></i> (Q4603846) (← links)