TY - RPRT TI - Design methods for fault-tolerant navigation computers. AU - Avizienis, A. PY - 1969 UR - https://ntrs.nasa.gov/citations/19690057809 ID - 19690057809 ER -