Welcome to the Kids' Library!

Attitude Determination Error Analysis System (ADEAS) mathematical specification document

Nicholson, M.
[Greenbelt, Md.] : Goddard Space Flight Center, [1988?] 1988

Automated verification of specifications with typestates and access permissions

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

Development of a qualification standard for adhesives used in hybrid microcircuits

Licari, James J., 1930-
[Huntsville], Ala. : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, [1981] 1981

Gamma Ray Observatory (GRO) dynamics simulator requirements and mathematical specifications.

Harman, R.
Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, Flight Dynamics Division, [1990] 1990

IAPSA II small-scale system specification

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

IRDS prototyping with applications to the representation of EA/RA models

Lekkos, Anthony A.
[Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston--Clear Lake, [1988] 1988

A logical process calculus

Cleaveland, Rance.
Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, VA : For sale by the National Technical Information Service, 2002] 2001

Maximum temperature calculation and operational characteristics of fuel follower control rods for th

Forsbacka, M.
Bethesda, Md. : Defense Nuclear Agency, Armed Forces Radiobiology Research Institute, [1991] 1991

NASA/MSFC large stretch press study

[Seattle, Wash.?] : Boeing Aerospace Company ; [Huntsville, Ala.?] : National Aeronautics and Space Administration, Marshall Space Flight Center, [1987] 1987

Outline for reusable reentry satellite system specification volumes 1 - volume 9

Torrance, Calif. : Science Applications International Corporation ; Houston, Tex. : National Aeronautics and Space Administration, Lyndon B. Johnson Space Center, [1989] 1989

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 requirements guidance and control software development specification

Research Triangle Park, N.C. : Research Triangle Institute ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

A summary of unmanned aircraft accident/incident data : human factors implications

Williams, Kevin W.
Washington, DC : U.S. Dept. of Transportation, Federal Aviation Administration, Office of Aerospace Medicine, [2004] 2004