TY - RPRT TI - Validation Methods for Fault-Tolerant avionics and control systems, working group meeting 1 PY - 1979 UR - https://ntrs.nasa.gov/citations/19800004487 ID - 19800004487 ER -