Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Peer review of a formal verification/design proof methodology [microform] : summary of a sub-working-group meeting / sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983.

    • Text
    • Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; Springfield, Va. : For sale by National Technical Information Service, 1985.
    • 1985

  • Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106 [microform] : contract no. NAS 5-32314 / submitted by Aerojet.

    • Text
    • Azusa, Calif. : Aerojet ; [Washington, DC : National Aeronautics and Space Administration, 1998]
    • 1998

  • Proof-term synthesis on dependent-type systems via explicit substitutions [microform] / César Muñoz.

    • Text
    • Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1999]
    • 1999

  • A qualitative piloted evaluation of the Tupolev Tu-144 supersonic transport [microform] / Robert A. Rivers ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 2000]
    • 2000

  • Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation [microform] / Louis A. Jaeckel.

    • Text
    • [Moffett Field, Calif.] : Research Institute for Advanced Computer Science, NASA Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1988]
    • 1988

  • Experimental verification of the thermodynamic properties for a Jet-A fuel [microform] / Carmen M. Gracia-Salcedo, Theodore A. Brabbs, and Bonnie J. McBride.

    • Text
    • [Washington, DC] : NASA ; [Springfield, Va. : For sale by the National Technical Information Service, 1988]
    • 1988

  • Evidence flow graph methods for validation and verification of expert systems [microform] : final report on NASA grant NAG-1-809 / Lee A. Becker, Peter G. Green, Jayat Bhatnagar.

    • Text
    • Worcester, Mass. : Intelligent Machines Project, Artificial Intelligence Research Group, Worcester Polytechnic Institute ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1988?]
    • 1988

  • Specifying real-time systems with interval logic [microform] / John Rushby, principal investigator.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1988-
    • 1988-present

  • Validation of ERS-1 environmental data products [microform] : a final report / prepared by Mark A. Goodberlet and Calvin T. Swift, John C. Wilkerson.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Significant issues in proof testing [microform] : a critical appraisal / G.G. Chell ... [et al.].

    • Text
    • MSFC, Ala. : National Aeronautics and Space Administration, George C. Marshall Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • SeaWiFS technical report series. Volume 3, SeaWiFS calibration and validation plan [microform] / Stanford B. Hooker, editor, Elaine R. Firestode, technical editors ; Charles R. McClain ... [et al.].

    • Text
    • Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
    • 1992

  • Fault-free performance validation of fault-tolerant multiprocessors [microform] / Edward W. Czeck ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Fourth order difference methods for hyperbolic IBVP's [microform] / Bertil Gustafsson and Pelle Olsson.

    • Text
    • [Moffett Field, Calif.] : Research Institute for Advanced Computer Science, NASA Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • A correlation study of X-29A aircraft and associated analytical development [microform] / by Ali Ahmadi, Kajal Gupta, Paul Fortin.

    • Text
    • Lawrence, Kan. : University of Kansas Center for Research ; [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1988]
    • 1988

  • Space shuttle propellant constitutive law verification tests [microform] : final technical report / James R. Thompson.

    • Text
    • [Marshall Space Flight Center, Ala.] : National Aeronautics and Space Administration, George C. Marshall Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • Test load verification through strain data analysis [microform] / V. Verderaime and F. Harrington.

    • Text
    • MSFC, Ala. : National Aeronautics and Space Administration, Marshall Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • UH-60 Black Hawk engineering simulation model validation and proposed modifications [microform] / Thaddeus T. Kaplita.

    • Text
    • Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; ; [St. Louis, Mo.] : U.S. Army Aviation Systems Command ; [Springfield, Va. : National Technical Information Service, distributor, 1985]
    • 1985

  • Resonant AC power system proof of concept test program [microform] : final report / prepared under contract NAS3-22777 ; prepared by General Dynamics Space Systems Division.

    • Text
    • San Diego, Calif. : The Division ; [Cleveland, Ohio : National Aeronautics and Space Administration, Lewis Research Center ; Springfield, Va. : For sale by the National Technical Information Service, 1986]
    • 1986

  • Validation of SAM II and SAGE satellite data [microform] / G.S. Kent ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1987]
    • 1987

  • Supersonic transport grid generation, validation, and optimization [microform] / Philip G. Aaronson.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • Defining the IEEE-854 floating-point standard in PVS [microform] / Paul S. Miner.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • ANSYS duplicate finite-element checker routine [microform] / R. Ortega.

    • Text
    • MSFC, Ala. : National Aeronautics and Space Administration, Marshall Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • Validation of spectral analysis as a noninvasive tool to assess autonomic regulation of cardiovascular function [microform] : final report / Charles F. Knapp, Joyce M. Evans.

    • Text
    • Lexington, KY : Center for Biomedical Engineering, Wenner-Gren Research Laboratory, University of Kentucky ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Dynamics of superfluid helium in low-gravity [microform] : NASW-4803, final report / David J. Frank.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • Development of a rational modeling approach for the design, and optimization of the multifiltration unit [microform] : final summary report / David W. Hand ... [et al.].

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow [microform] : under NASA JSC grant: NAG 9-787 / Frederick R. Best.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • A bitvectorss library for PVS [microform] / Ricky W. Butler ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Analysis of flowfields over four-engine DC-X rockets [microform] / T.-S. Wang and J. Cornelison.

    • Text
    • Reston, VA : American Institute of Aeronautics and Astronautics ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Rotor-fuselage interactions [microform] / John D. Berry, Nicolas Bettschart.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • A case study of IV & V cost effectiveness [microform] / by Ralph D. Neal ... [et al.].

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • A framework for performing verification and validation in reuse based software engineering [microform] / Edward A. Addy.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • Applying independent verification and validation to automatic test equipment [microform] / by Cynthia C. Calhoun.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • Simulated bladed MMC disk LCF validation [microform] : draft final report / H.F. Merrick, M. Costen.

    • Text
    • [S.l.] : AlliedSignal Aerospace ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1998]
    • 1998

  • "Shape optimization by Bayesian-validated computer-simulation surrogates" [microform] : final report, NASA grant NAG 1-1613 / principal investigator, Anthony T. Patera.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • Investigation of springback associated with composite material component fabrication (MSFC Center director's discretionary fund final report, project 94-09) [microform] / M.A. Benzie.

    • Text
    • [Marshall Space Flight Center, Ala.] : National Aeronautics and Space Administration, Marshall Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • V&V within reuse-based software engineering [microform] : a position statement for "a NASA focus on software reuse" / by Edward A. Addy.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • The application of V&V within reuse-based software engineering [microform] / by Edward Addy.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Formal methods of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • Verification and validation of KBS with neural network components [microform] / by Wu Wen and John Callahan.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of the National Oceanic and Atmospheric Administration [microform] / Larry L. Stowe and Alexander M. Ignatov, Ramdas R. Singh.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • Verifying stability of dynamic soft-computing systems [microform] / by Wu Wen, John Callahan and Marcello Napolitano.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • Nickel-hydrogen batteries--an overview [microform] / J.J. Smithrick and P.M. O'Donnell.

    • Text
    • Reston, VA : American Institute of Aeronautics and Astronautics ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Guidelines for proof test analysis [microform] / G.G. Chell ... [et al.].

    • Text
    • [Marshall Space Flight Center], Ala. : National Aeronautics and Space Administration, Marshall Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1999]
    • 1999

  • Structural embeddings [microform] : mechanization with method / César Muñoz, John Rushby.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1999]
    • 1999

  • Theory interpretations in PVS [microform] / Sam Owre and Natarajan Shankar.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD : Available from NASA Center for Aerospace Information, [2001]
    • 2001

  • Report on the formal specification and partial verification of the VIPER microprocessor [microform] / Bishop Brock and Warren A. Hunt, Jr.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Austin, Texas : Computational Logic, Inc., [1991]
    • 1991
    • 1 Resource

    Available Online

    http://purl.access.gpo.gov/GPO/LPS67756

  • Comparison of 3-D viscous flow computations of Mach 5 inlet with experimental data [microform] / D.R. Reddy and T.J. Benson and L.J. Weir ; prepared for the 28th Aerospace Sciences Meeting sponsored by the American Society of Aeronautics and Astronautics, Reno, Nevada, January 8-11, 1990.

    • Text
    • [Washington, D.C.] : NASA ; Springfield, Va. : For sale by the National Technical Information Service, [1990]
    • 1990
    • 1 Resource

    Available Online

    http://purl.access.gpo.gov/GPO/LPS69416

  • Validation of viscous and inviscid computational methods for turbomachinery components [microform] / Louis A. Povinelli.

    • Text
    • [Cleveland, Ohio : National Aeronautics and Space Administration, Lewis Research Center, 1986]
    • 1986

  • Design and verification guidelines for vibroacoustic and transient environments.

    • Text
    • [Marshall Space Flight Center, Ala.] : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, Component Analysis Branch, Systems Dynamics Laboratory, [1986]
    • 1986
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/LPS105384

  • Design and verification guidelines for vibroacoustic and transient environments [microform].

    • Text
    • [Marshall Space Flight Center, Ala.] : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, Component Analysis Branch, Systems Dynamics Laboratory, [1986]
    • 1986
    • 1 Resource

    Available Online

    http://purl.access.gpo.gov/GPO/LPS105384

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta