TY  - RPRT
TI  - Software fault-tolerance by design diversity DEDIX: A tool for experiments
AU  - Avizienis, A.
AU  - Gunningberg, P.
AU  - Kelly, J. P. J.
AU  - Lyu, R. T.
AU  - Strigini, L.
AU  - Traverse, P. J.
AU  - Tso, K. S.
AU  - Voges, U.
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19860020091
ID  - 19860020091
ER  -