John Rushby

John Rushby (born 1949) is a British computer scientist now based in the United States and working for SRI International. He previously taught and did research for Manchester University and later Newcastle University. Provided by Wikipedia
Showing 1 - 15 results of 15 for search 'Rushby, John, 1949-', query time: 0.04s Refine Results
  1. 1
    Partitioning in avionics architectures requirements, mechanisms, and assurance /

    Partitioning in avionics architectures requirements, mechanisms, and assurance / by Rushby, John, 1949-

    Published 1999
    Click here to view report online
    Government Document Microfilm Book
    Save to List
    Saved in:
  2. 2
    Formal verification of AI software

    Formal verification of AI software by Rushby, John, 1949-

    Published 1989
    Online Access
    Online Access
    Government Document Electronic eBook
    Save to List
    Saved in:
  3. 3
    Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

    Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit by Rushby, John, 1949-

    Published 1990
    Connect to online resource
    Connect to online resource
    Government Document Microfilm Book
    Save to List
    Saved in:
  4. 4
    Formal verification of AI software

    Formal verification of AI software by Rushby, John, 1949-

    Government Document Book
    Save to List
    Saved in:
  5. 5
    Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

    Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit by Rushby, John, 1949-

    Government Document Book
    Save to List
    Saved in:
  6. 6
    Formal verification of an oral messages algorithm for interactive consistency

    Formal verification of an oral messages algorithm for interactive consistency by Rushby, John, 1949-

    Published 1992
    Connect to online resource
    Government Document Book
    Save to List
    Saved in:
  7. 7
    Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

    Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems by Rushby, John, 1949-

    Published 1991
    Click here to view report online
    Government Document Microfilm Book
    Save to List
    Saved in:
  8. 8
    Formal methods and digital systems validation for airborne systems

    Formal methods and digital systems validation for airborne systems by Rushby, John, 1949-

    Published 1993
    Connect to online resource
    Government Document Book
    Save to List
    Saved in:
  9. 9
    Specifying real-time systems with interval logic

    Specifying real-time systems with interval logic by Rushby, John, 1949-

    Published 1988
    Government Document Microfilm Book
    Save to List
    Saved in:
  10. 10
    Formal verification of AI software

    Formal verification of AI software by Rushby, John, 1949-

    Published 1989
    Connect to online resource
    Connect to online resource
    Government Document Microfilm Book
    Save to List
    Saved in:
  11. 11
    Quality measures and assurance for AI software

    Quality measures and assurance for AI software by Rushby, John, 1949-

    Published 1988
    Connect to online resource
    Government Document Book
    Save to List
    Saved in:
  12. 12
    Structural embeddings mechanization with method /

    Structural embeddings mechanization with method / by Muñoz, César

    Published 1999
    Other Authors: “…Rushby, John, 1949-…”
    Click here to view full text online
    Government Document Microfilm Book
    Save to List
    Saved in:
  13. 13
    A formally verified alrgothim for interactive consistency under a hybrid fault model

    A formally verified alrgothim for interactive consistency under a hybrid fault model by Lincoln, Patrick

    Published 1993
    Other Authors: “…Rushby, John, 1949-…”
    Click here to view report online
    Government Document Microfilm Book
    Save to List
    Saved in:
  14. 14
    Model-based reconfiguration diagnosis and recovery /

    Model-based reconfiguration diagnosis and recovery / by Crow, Judith

    Published 1994
    Other Authors: “…Rushby, John, 1949-…”
    Connect to online resource
    Government Document Book
    Save to List
    Saved in:
  15. 15
    Analyzing tabular and state-transition requirements specifications in PVS

    Analyzing tabular and state-transition requirements specifications in PVS by Owre, Sam

    Published 1997
    Other Authors: “…Rushby, John, 1949-…”
    Connect to online resource
    Government Document Book
    Save to List
    Saved in:
Search Tools: RSS Feed