The following pages link to Model checking for performability (Q2843861):
Displaying 10 items.
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Reliability and performability modeling using SHARPE 2000 (Q2729033) (← links)
- Construction and verification of performance and reliability models (Q2743687) (← links)
- Model checking functional and performability properties of stochastic fluid models (Q2848429) (← links)
- Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
- Performability: a retrospective and some pointers to the future (Q4004638) (← links)
- (Q4547763) (← links)
- (Q4665739) (← links)
- (Q4763990) (← links)