Specification techniques for Markov reward models
- 1 July 1993
- journal article
- Published by Springer Nature in Discrete Event Dynamic Systems
- Vol. 3 (2-3) , 219-247
- https://doi.org/10.1007/bf01439850
Abstract
No abstract availableKeywords
This publication has 49 references indexed in Scilit:
- A unified framework for the performability evaluation of fault-tolerant computer systemsIEEE Transactions on Computers, 1993
- A unified framework for simulating Markovian models of highly dependable systemsIEEE Transactions on Computers, 1992
- Stochastic Petri net models of polling systemsIEEE Journal on Selected Areas in Communications, 1990
- Effects of checkpointing and queuebsfg on program performanceCommunications in Statistics. Stochastic Models, 1990
- An object-oriented modelling enviornmentACM SIGPLAN Notices, 1989
- Calculating availability and performability measures of repairable computer systems using randomizationJournal of the ACM, 1989
- Transient analysis of cumulative measures of markov model behaviorCommunications in Statistics. Stochastic Models, 1989
- Survey of software tools for evaluating reliability, availability, and serviceabilityACM Computing Surveys, 1988
- Analysis of a composite performance reliability measure for fault-tolerant systemsJournal of the ACM, 1987
- Open, Closed, and Mixed Networks of Queues with Different Classes of CustomersJournal of the ACM, 1975