The Hiearchical Specification and Mechanical Verification of the SIFT Design
- Author(s):
- Levitt, Karl N. Schwarz, Richard Hare, Dwight Moore, J. S. Melliar-Smith, P. Michael Shostak, Robert E. Boyer, Robert Green, Milton Elliott, W. David ( SRI International )
- Publication title:
- NASA Technical Reports
- Pub. Year:
- 1983
- Issue:
- NASA-CR-166008
- No.:
- G3/60 19288
- Pt.:
- NAS 1.26:166008
- Paper no.:
- N84-25310
- Page(from):
- 1
- Page(to):
- 216
- Pages:
- 216
- Pub. info.:
- National Aeronautics and Space Administration
- Language:
- English
- Type:
- Technical Paper
Similar Items:
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
National Aeronautics and Space Administration |
6
Technical Paper
Investigation, Development, and Evalution of Performance Proving for Fault-Tolerant Computers
National Aeronautics and Space Administration |
12
Technical Paper
Development and Analysis of the Software Implemented Fault-Tolerance (SIFT) Cpmputer
National Aeronautics and Space Administration |