Operator and organizational maintenance fault isolation manual : improved CW acquisition radar AN/MPQ-55, (Improved HAWK Air Defense Guided Missile System).

"September 1980."

Operator and organizational maintenance fault isolation manual : improved high-powered illuminator radar AN/MPQ-46 (XO-1), (improved Hawk air defense guided missile system).

"January 1979."

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Bibliography: p. 48.

Construction of a fault-tolerant, real-time software system /

"UILU-ENG 80 1742"--Cover.