scientific article; zbMATH DE number 1424153

zbMATH Open0945.65011MaRDI QIDQ4945346FDOQ4945346

Authors: Jogesh K. Muppala, Ricardo M. Fricks, Kishor S. Trivedi 

Publication date: 12 October 2000

Title of this publication is not available (Why is that?)

Recommendations

• Formal dependability modeling and analysis: a survey
• scientific article; zbMATH DE number 1008397
• scientific article; zbMATH DE number 5560393
• scientific article; zbMATH DE number 1983464
• Lectures on Concurrency and Petri Nets

zbMATH Keywords

system reliabilitynon-Markovian modelsMarkovian state space modelsdependability measuresdependability modelsnon-state space modelssystem dependability evaluationsystem maintainability

Mathematics Subject Classification ID

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

Cited In (9)

• Formal dependability modeling and analysis: a survey
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Dependency Model: A Tool for Calculating System Effectiveness
• Availability optimization of a redundant system through dependency modeling
• Dependability modeling and analysis of software systems specified with UML
• Reliability of methods of operational checking and diagnosis of data processing systems
• Evaluating FTRE's for dependability measures in fault tolerant systems
• Creating a knowledge database on system dependability and resilience

This page was built for publication:

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