Research Catalog

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

Selected filters.Clear Filters

  • Validating requirements for fault tolerant systems using model checking [microform] / Francis Schneider ... [et al.].

    • Text
    • Fairmont, W. Va. : NASA IV & V Facility ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • SHARP [microform] : a multi-mission artificial intelligence system for spacecraft telemetry monitoring and diagnosis / Denise L. Lawson, Mark L. James.

    • Text
    • Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory ; [Springfield, Va. : National Technical Information Service, distributor, 1989]
    • 1989

  • Automatically generated acceptance test [microform] : a software reliability experiment / Peter W. Protzel.

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

  • Development of a flight software testing methodology [microform] : final report / Edward J. McCluskey and Dorothy M. Andrews.

    • Text
    • Stanford, CA : Center for Reliable Computing, Stanford University ; [Washington, D.C. : National Aeronautics and Space Administration, 1985]
    • 1985

  • Reliability and throughput analysis of a concatenated coding scheme [microform] / Robert H. Deng, Daniel J. Costello, Jr.

    • Text
    • [Washington, D.C.? : National Aeronautics and Space Administration, 1986?]
    • 1986

  • The development of an interim generalized gate logic software simulator [microform] / J. G. Mcgough and S. Nemeroff.

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

  • The undetected error probability for shortened hamming codes [microform] : technical report / principal investigators, Daniel J. Costello, Jr., Shu Lin.

    • Text
    • Greenbelt, Md. : NASA Goddard Space Flight Center, [1984]
    • 1984

  • Analysis of the impact of error detection on computer performance [microform] / Kang G. Shin and Yann-Hang Lee.

    • Text
    • [Washington, D.C. : National Aeronautics and Space Administration, 1984]
    • 1984

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