Welcome to the Kids' Library!

Design verification and fabrication of active control systems for the DAST ARW-2 high aspect ratio w

McGehee, C. R., author.
Wichita, KS : The Boeign Co. ; Hampton. Virginia : National Aeronautics and Space Administration, Langley Research Center, [1986] 1986

Investigating actuation force fight with asynchronous and synchronous redundancy management techniqu

Hall, Brendan, author.
Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, [2013] 2013

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

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

Verification and validation of neural networks for aerospace systems

Mackall, Dale.
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 2002] 2002