Pages that link to "Item:Q4004640"
From MaRDI portal
The following pages link to Composite performance and dependability analysis (Q4004640):
Displaying 5 items.
- Investigating dynamic reliability and availability through state-space models (Q356395) (← links)
- Specification techniques for Markov reward models (Q686334) (← links)
- Dependability analysis of the data communication system in train control system (Q1047332) (← links)
- Exact performance equivalence: An equivalence relation for stochastic automata (Q1285589) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
