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