Dependability modeling for computer systems
暂无分享,去创建一个
[1] Thomas H. Naylor,et al. Verification of Computer Simulation Models , 1967 .
[2] Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .
[3] A. Avizienis,et al. Dependable computing: From concepts to design diversity , 1986, Proceedings of the IEEE.
[4] Kishor S. Trivedi,et al. Reliability Modeling Using SHARPE , 1987, IEEE Transactions on Reliability.
[5] Kishor S. Trivedi,et al. Performability Modeling Based on Real Data: A Case Study , 1988, IEEE Trans. Computers.
[6] Kishor S. Trivedi,et al. SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.
[7] Kishor S. Trivedi,et al. Stochastic Petri net modeling of VAXcluster system availability , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.
[8] Kishor S. Trivedi,et al. Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.
[9] Kishor S. Trivedi,et al. Availability and Reliability Modeling for Computer Systems , 1990, Adv. Comput..
[10] Bruno Sericola,et al. Performability Analysis Using Semi-Markov Reard Processes , 1990, IEEE Trans. Computers.
[11] Kishor S. Trivedi,et al. Reliability estimation of fault-tolerant systems: tools and techniques , 1990, Computer.