An Abstract Language for Specifying Markov Reliability Models

DOI10.1109/TR.1986.4335560MaRDI QIDQ3753223zbMATHFDO

Authors Ricky Wayne Butler

Publication date 1986

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

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)

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

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)