Fault-tolerant broadcast graphs /

"This project is funded in part by NASA grant NSG 1471."

Fault-tolerant grid broadcasting /

"August 1980."

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

"UILU-ENG 80 1742"--Cover.

Application of the fault-tolerant deadline mechanism to a satellite on-board computer system /

"June 1980."

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

Bibliography: p. 48.

Development of a systems risk methodology for single and multi-modal transportation systems. Final report.

Transportation Department, Research and Special Programs Administration, Washington, D.C.