SIFT: Design and analysis of a fault-tolerant computer for aircraft control

• Authors:

• J. H. Wensley;L. Lamport;J. Goldberg;M. W. Green;K. N. Levitt;P. M. Milliar-Smith;R. E. Shostak;C. B. Weinstock

• Affiliations:

• -;-;-;-;-;-;-;-

• Venue:
• Tutorial: hard real-time systems
• Year:
• 1989