Research Catalog

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

Selected filters.Clear Filters

  • Second NASA Formal Methods Workshop, 1992 [microform] / compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler.

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

  • Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach [microform] / Ricky W. Butler and Sally C. Johnson.

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

  • A note about HARP's state trimming method [microform] / Ricky W. Butler, Kelly J. Hayhurst, and Sally C. Johnson.

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

  • The art of fault-tolerant system reliability modeling [microform] / Ricky W. Butler and Sally C. Johnson.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990]
    • 1990
    • 1 Resource

    Available Online

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

  • Documentation of the current fault detection, isolation, and reconfiguration software of the AIPS fault-tolerant processor [microform] / David T. Lanning, Allen W. Shepard, Sally C. Johnson.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1987]
    • 1987
    • 1 Resource

    Available Online

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

  • Evaluation of the trade space between UAS maneuver performance and SAA system performance requirements / Devin P. Jack, Keith D. Hoffler, and Sally C. Johnson.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 2014.
    • 2014-5
    • 1 Resource

    Available Online

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

  • A note about HARP's state trimming method / Ricky W. Butler, Kelly J. Hayhurst, and Sally C. Johnson.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1998.
    • 1998-5
    • 1 Resource

    Available Online

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

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