Research Catalog

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

Selected filters.Clear Filters

  • Formal design and verification of a reliable computing platform for real-time control [microform] : phase 1 results / Ben L. Di Vito, Ricky W. Butler, James L. Caldwell.

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

  • NASA Formal Methods Workshop 1990 [microform] : proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at Langley Research Center, Hampton,Virginia, August 20-23 1990 / compiled by Ricky W. Butler.

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

  • 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

  • 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

  • Towards a formal semantics of flight plans and trajectories / George E. Hagen and Ricky W. Butler.

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

    Available Online

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

  • The Stratway program for strategic conflict resolution : use's guide / George E. Hagen, Ricky W. Butler, Jeffrey M. Maddalon.

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

    Available Online

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

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