Welcome to the Kids' Library!

Development of space telescope non-ORU hardware final report

Robertson, Kem B.
Huntsville, Ala. : Essex Corporation, Space Systems Group : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, [1985] 1985

Fault-tolerant systems

Koren, Israel, 1945-
Amsterdam ; Boston : Elsevier/Morgan Kaufmann, ©2007. 2007

Hardware specific integration strategy for impedance-based structural health monitoring of aerospace

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] 2011

IAPSA II small-scale system specification

Cohen, G. C. (Gerald C.)
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

Report on the formal specification and partial verification of the VIPER microprocessor

Brock, Bishop.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Austin, Texas : Computational Logic, Inc., [1991] 1991

Software-implemented fault insertion : an FTMP example

Czeck, Edward W., author.
Pittsburgh, Pennsylvania : Carnegie-Mellon University, Department of Electrical and Computer Engineering ; Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, 1987. 1987

Space shuttle : human capital and safety upgrade challenges require continued attention : report to

United States. General Accounting Office.
Washington, D.C. : The Office, [2000] 2000