An Abstract Language for Specifying Markov Reliability Models

DOI10.1109/TR.1986.4335560zbMATH Open0612.60078MaRDI QIDQ3753223FDOQ3753223

Authors: Ricky Wayne Butler 

Publication date: 1986

Published in: IEEE Transactions on Reliability (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 19227
• Specification techniques for Markov reward models
• scientific article; zbMATH DE number 4069977
• Markov and Markov reward model transient analysis: An overview of numerical approaches
• Unification of reliability/availability/repairability models for Markov systems

zbMATH Keywords

reliabilityfault-tolerant systemscomputer programabstract model-definition language

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Applications of renewal theory (reliability, demand theory, etc.) (60K10)

Cited In (1)

• Closed-form solution of decomposable stochastic models

This page was built for publication: An Abstract Language for Specifying Markov Reliability Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753223)