Search results for: Rushby, John, 1949-

Showing 1 - 14 results of 14 Refine Results
  1. 1

    Formal verification of an oral messages algorithm for interactive consistency

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1992
    Physical Description: 1 volume.
    Government Document Microfilm Book
  2. 2

    Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [For sale by the National Technical Information Service], 1991
    Physical Description: v, 124 pages : illustrations ; 28 cm.
    Government Document Microfilm Book
  3. 3

    Formal methods and digital systems validation for airborne systems

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Scientific and Technical Information Program ; [National Technical Information Service, distributor], 1993
    Physical Description: 1 volume.
    Government Document Microfilm Book
  4. 4

    Quality measures and assurance for AI software

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Scientific and Technical Information Division ; [For sale by the National Technical Information Service, distributor], 1988
    Physical Description: 1 volume.
    Government Document Microfilm Book
  5. 5

    Specifying real-time systems with interval logic

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1988
    Physical Description: 2 volumes.
    Government Document Microfilm Book
  6. 6

    Partitioning in avionics architectures : requirements, mechanisms, and assurance

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1999
    Physical Description: 1 volume.
    Government Document Microfilm Book
  7. 7

    Formal methods and their role in digital systems validation for airborne systems

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Langley Research Center ; [Available from the National Technical Information Service], 1995
    Physical Description: 1 volume.
    Government Document Microfilm Book
  8. 8

    Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

    Authors: Rushby, John, 1949-
    Published: SRI International ; National Aeronautics and Space Administration, Langley Research Center ; [For sale by the National Technical Information Service], 1990
    Physical Description: 1 volume., Also available via Internet from the NASA Technical Report Server web site. Address as of 11/3/05: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19910008300%5F1991008300.pdf ; current access is available via PURL.
    Connect to online resource - All users (Federal Depository Library Program Persistant URL)
    Government Document Microfilm Book
  9. 9

    Formal verification of AI software

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Langley Research Center, 1989
    Physical Description: 1 volume., Also available via Internet from the NTRS web site. Address as of 06/11/09: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19890015440%5F1989015440.pdf ; current access is available via PURL.
    Connect to online resource - All users (Federal Depository Library Program Persistant URL)
    Government Document Microfilm Book
  10. 10

    Formal verification of AI software

    Authors: Rushby, John, 1949-
    Published: National Aeronautics and Space Administration, Langley Research Center, 1989
    Physical Description: 1 volume.
    Connect to online resource - All users (Federal Depository Library Program Persistant URL)
    Government Document Electronic eBook
  11. 11

    A formally verified alrgothim for interactive consistency under a hybrid fault model

    Authors: Lincoln, Patrick
    Published: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [National Technical Information Service, distributor], 1993
    Other Authors: “…Rushby, John, 1949-…”
    Physical Description: 1 volume.
    Government Document Microfilm Book
  12. 12

    Model-based reconfiguration : diagnosis and recovery

    Authors: Crow, Judy
    Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1994
    Other Authors: “…Rushby, John, 1949-…”
    Physical Description: 1 volume.
    Government Document Microfilm Book
  13. 13

    Structural embeddings : mechanization with method

    Authors: Muñoz, César A., 1968-
    Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1999
    Other Authors: “…Rushby, John, 1949-…”
    Physical Description: 1 volume.
    Government Document Microfilm Book
  14. 14

    Analyzing tabular and state-transition requirements specifications in PVS

    Authors: Owre, Sam
    Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1997
    Other Authors: “…Rushby, John, 1949-…”
    Physical Description: 1 volume.
    Government Document Microfilm Book