共 26 条
- [2] AVIZIENIS A, 1985, 4TH P IFAC WORKSH SA, P173
- [3] AVIZIENIS A, 1984, IEEE COMPUTER AUG, P67
- [4] BISHOP P, 1985, 4TH P IFAC WORKSH SA, P153
- [5] CHEN L, 1978, THESIS UCLA LOS ANGE
- [8] Goel A. L., 1991, Proceedings. 1991 International Symposium on Software Reliability Engineering (Cat. No.91TH0336-5), P139, DOI 10.1109/ISSRE.1991.145368
- [9] GOSEVA K, 1990, THESIS U KIRII METOD
- [10] GOSEVA K, 1991, SAFEPROCESS 91 BADEN, V1, P61