Search results for: Rushby, John, 1949-
Showing 1 - 14 results of 14
Refine Results
-
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], 1992Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading… -
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], 1991Physical Description: v, 124 pages : illustrations ; 28 cm.Holdings: Loading…
Government Document Microfilm Book Loading… -
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], 1993Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading… -
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], 1988Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading… -
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], 1988Physical Description: 2 volumes.Holdings: Loading…
Government Document Microfilm Book Loading… -
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], 1999Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading… -
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], 1995Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading… -
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], 1990Physical 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.Holdings: Loading…Connect to online resource - All users (Federal Depository Library Program Persistant URL)
Government Document Microfilm Book -
9
Formal verification of AI software
Authors: Rushby, John, 1949-
Published: National Aeronautics and Space Administration, Langley Research Center, 1989Physical 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.Holdings: Loading…Connect to online resource - All users (Federal Depository Library Program Persistant URL)
Government Document Microfilm Book -
10
Formal verification of AI software
Authors: Rushby, John, 1949-
Published: National Aeronautics and Space Administration, Langley Research Center, 1989Physical Description: 1 volume.Holdings: Loading…Connect to online resource - All users (Federal Depository Library Program Persistant URL)
Government Document Electronic eBook -
11
A formally verified alrgothim for interactive consistency under a hybrid fault model
Authors: Lincoln, PatrickOther Authors: “…Rushby, John, 1949-…”
Published: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [National Technical Information Service, distributor], 1993
Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading… -
12
Model-based reconfiguration : diagnosis and recovery
Authors: Crow, JudyOther Authors: “…Rushby, John, 1949-…”
Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1994
Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading… -
13
Structural embeddings : mechanization with method
Authors: Muñoz, César A., 1968-Other Authors: “…Rushby, John, 1949-…”
Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1999
Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading… -
14
Analyzing tabular and state-transition requirements specifications in PVS
Authors: Owre, SamOther Authors: “…Rushby, John, 1949-…”
Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1997
Physical Description: 1 volume.Holdings: Loading…
Government Document Microfilm Book Loading…
Related Subjects
Artificial intelligence
Computer systems performance
Expert systems
Algorithms
Errors
Fault detection
Fault tolerance
Fault-tolerant computing
Logic programming
Proving
Real time operation
Software engineering
Specifications
Theorem proving
ARTIFICIAL INTELLIGENCE
Architecture (Computers)
Artiticial intelligence
Automatic flight control
Avionics
C (Programming language)
Coding
Computer algorithms
Computer information security
Computer networks
Computer programming
Computer programs
Cost reduction
DIGITAL SYSTEMS
DISTRIBUTED PROCESSING
Detection