Pages that link to "Item:Q4734590"
From MaRDI portal
The following pages link to Transient analysis of cumulative measures of markov model behavior (Q4734590):
Displaying 6 items.
- Specification techniques for Markov reward models (Q686334) (← links)
- A numerical study of large sparse matrix exponentials arising in Markov chains. (Q1277695) (← links)
- Computing performability measures in Markov chains by means of matrix functions (Q2292012) (← links)
- Numerical solution of stochastic partial differential difference equation arising in reliability engineering (Q2451358) (← links)
- Efficient implementations of the randomization method with control of the relative error (Q2485165) (← links)
- Model checking for performability (Q2843861) (← links)