共 12 条
- [1] Bromell J. Y., 1987, Achieving Safety and Reliability with Computer Systems, P1
- [2] Geary K., 1987, Achieving Safety and Reliability with Computer Systems, P232
- [3] HOARE A, 1986, NEW SCI 0918, P53
- [4] NISSEN J, 1984, PORTABILITY STYLE AD
- [5] Phillips B. P., 1987, Achieving Safety and Reliability with Computer Systems, P89
- [6] 1983, MILSTD1815A AM NAT S
- [7] 1985, GUIDELINES DOCUMENTA
- [8] 1986, 620 UK MIN DEF SEA S
- [9] 1981, AQAP13 NATO REP
- [10] BS5750 BRIT STAND I