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 2 results / Ricky W. Butler, Ben L. Di Vito.

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

  • An elementary tutorial on formal specification and verification using PVS [microform] / Ricky W. Butler.

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

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

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

  • 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

  • An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler.

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

  • A PVS graph theory library [microform] / Ricky W. Butler, Jon A. Sjogren.

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

  • 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 Fault-Tree Compiler (FTC) [microfrom] : program and mathematics / Ricky W. Butler, Anna L. Martensen.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; Springfield, Va. : For sale by the National Technical Information Service, 1989.
    • 1989
    • 1 Resource

    Available Online

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

  • 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

  • The SURE reliability analysis program [microform] / Ricky W. Butler.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1986.
    • 1986

  • The chorus conflict and loss of separation resolution algorithms / Ricky W. Butler, George E. Hagen, and Jeffrey M. Maddalon.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, August 2013.
    • 2013-8
    • 1 Resource

    Available Online

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

  • A turn-projected state-based conflict resolution algorithm / Ricky W. Butler and Timothy A. Lewis.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, 2013.
    • 2013
    • 1 Resource

    Available Online

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

  • An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.

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

    Available Online

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

  • 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