Books by John Rushby:
Books in the extended shelves:
![[X-Info]](https://onlinebooks.library.upenn.edu/infouc.gif)
Rushby, John: Formal methods and digital systems validation for airborne systems (National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1993), also by United States. National Aeronautics and Space Administration. Scientific and Technical Information Program and Langley Research Center (page images at HathiTrust)- Rushby, John: Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems (National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ;, 1991), also by Langley Research Center and SRI International (page images at HathiTrust)
- Rushby, John: Formal verification of a fault tolerant clock synchronization algorithm (National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ;, 1989), also by Frieder von Henke, Langley Research Center, and SRI International (page images at HathiTrust)
- Rushby, John: A formally verified algorithm for interactive consistency under a hybrid fault model (National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1993), also by Patrick Lincoln, United States. National Aeronautics and Space Administration. Scientific and Technical Information Program, and Langley Research Center (page images at HathiTrust)
- Rushby, John: Model-based reconfiguration : diagnosis and recovery (National Aeronautics and Space Administration, Langley Research Center, 1994), also by Judy Crow and Langley Research Center (page images at HathiTrust)
- Rushby, John: Quality measures and assurance for AI software (National Aeronautics and Space Administration, Scientific and Technical Information Division, 1988), also by United States. National Aeronautics and Space Administration. Scientific and Technical Information Division (page images at HathiTrust)
Find more by John Rushby at your library, or elsewhere.