Pages that link to "Item:Q4004638"
From MaRDI portal
The following pages link to Performability: a retrospective and some pointers to the future (Q4004638):
Displaying 7 items.
- Cooperative cross-entropy method for generating entangled networks (Q666364) (← links)
- A performability-oriented approach to the design and synthesis of data networks (Q679228) (← links)
- Specification techniques for Markov reward models (Q686334) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- (Q2771818) (← links)
- Model checking for performability (Q2843861) (← links)