A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
- 30 September 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processesTheoretical Computer Science, 2005
- A discrete-time Bayesian network reliability modeling and analysis frameworkReliability Engineering & System Safety, 2005
- A new Bayesian network approach to solve dynamic fault treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- DIFtree: a software package for the analysis of dynamic fault tree modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On Combining Functional Verification and Performance Evaluation Using CADPLecture Notes in Computer Science, 2002
- The theory of interactive generalized semi-Markov processesTheoretical Computer Science, 2002
- Automated compositional Markov chain generation for a plain-old telephone systemScience of Computer Programming, 2000
- Dependability modeling using Petri-netsIEEE Transactions on Reliability, 1995
- Dynamic fault-tree models for fault-tolerant computer systemsIEEE Transactions on Reliability, 1992