Dependability analysis of fault-tolerant systems: a literature survey

This publication has 101 references indexed in Scilit:

• The effect of execution policies on the semantics and analysis of stochastic Petri nets
  IEEE Transactions on Software Engineering, 1989
• Time scale decomposition of a class of generalized stochastic Petri net models
  IEEE Transactions on Software Engineering, 1989
• Hierarchical models for systems reliability, maintainability, and availability
  IEEE Transactions on Circuits and Systems, 1987
• Calculation of Coverage Parameter
  IEEE Transactions on Reliability, 1987
• Analysis of Typical Fault-Tolerant Architectures using HARP
  IEEE Transactions on Reliability, 1987
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Closure of Phase Type Distributions Under Operations Arising in Reliability Theory
  The Annals of Probability, 1982
• Computer-Oriented Formulation of Transition-Rate Matrices via Kronecker Algebra
  IEEE Transactions on Reliability, 1981
• Special Feature: Putting Petri Nets to Work
  Computer, 1979
• The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System
  IEEE Transactions on Computers, 1973