Welcome to the Kids' Library!

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 flight software testing methodology final report

McCluskey, Edward J., 1929-
Stanford, Calif. : Center for Reliable Computing, Stanford University ; [Washington, D.C. : National Aeronautics and Space Administration, 1985] 1985

A methodology for the design and verification of globally asynchronous/locally synchronous architect

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

NASA software engineering benchmarking study

Rarick, Heather L., author.
Washington, DC : National Aeronautics and Space Administration, 2013. 2013

Payload training methodology study (PTMS) final report

Marshall Space Flight Center, Ala. : Man Systems Integration Branch, Operations Development Division, Systems Analysis and Integration Laboratory, George C. Marshall Space Flight Center, [1990] 1987

Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain paramete

Hsia, Wei-Shen.
Tuscaloosa, Ala. : Dept. of Mathematics, University of Alabama ; [Huntsville, Ala. : National Aeronautics and Space Administration, Marshall Space Flight Center ; Springfield, Va. : For sale by the National Technical Information Service, 1989] 1989

Toward a formal verification of a floating-point coprocessor and its composition with a central proc

Pan, Jing.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1991] 1991

Transformational derivation of programs using the Focus system

Reddy, Uday S.
[Washington, D.C. : National Aeronautics and Space Administration, 1988] 1988