Risk Assessment of Computer Controlled Systems
暂无分享,去创建一个
[1] B. Shneiderman,et al. Flowchart techniques for structured programming , 1973, SIGP.
[2] W E Vesely,et al. Fault Tree Handbook , 1987 .
[3] P. S. Lewis,et al. Software Design for the Tritium Systems Test Assembly , 1983 .
[4] L. R. Fitch,et al. Use of COMCAN III in system design and reliability analysis. [PWR; BWR] , 1982 .
[5] James C. King,et al. Applications of Symbolic Execution to Program Testing , 1978, Computer.
[6] A. D. Swain,et al. Handbook of human-reliability analysis with emphasis on nuclear power plant applications. Final report , 1983 .