Power-hierarchy of dependability-model types
暂无分享,去创建一个
[1] John A. Buzacott. Network Approaches to Finding the Reliability of Repairable Systems , 1970 .
[2] Ajmone MarsanMarco,et al. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984 .
[3] Malathi Veeraraghavan,et al. Reliability modeling: an overview for system designers , 1991, Computer.
[4] Robert E. Tarjan,et al. A Unified Approach to Path Problems , 1981, JACM.
[5] Kishor S. Trivedi,et al. Reliability and Performability Techniques and Tools: A Survey , 1993, MMB.
[6] G. S. Hura,et al. The use of Petri nets to analyze coherent fault trees , 1988 .
[7] Martin L. Shooman. The Equivalence of Reliability Diagrams and Fault-Tree Analysis , 1970 .
[8] Hoon Choi,et al. Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.
[9] Kishor S. Trivedi,et al. The hybrid automated reliability predictor , 1986 .
[10] J-C. Laprie,et al. DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..
[11] Salvatore J. Bavuso,et al. Dynamic fault-tree models for fault-tolerant computer systems , 1992 .
[12] Marco Ajmone Marsan,et al. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.
[13] A. D. Friedman,et al. Theory and Design of Switching Circuits , 1983 .
[14] J. A. Buzacott,et al. Finding the MTBF of repairable systems by reduction of the reliability block diagram , 1967 .
[15] Miroslaw Malek,et al. Survey of software tools for evaluating reliability, availability, and serviceability , 1988, CSUR.
[16] Kishor S. Trivedi,et al. A software tool for learning about stochastic models , 1993 .
[17] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .
[18] Charles J. Colbourn,et al. The Combinatorics of Network Reliability , 1987 .