| Computer Science Laboratory | |
| Contact | |
 | People at CSL |
| Projects at CSL |
| Research Programs |
| Division Home | |
 Finite-State Analysis Of Space Shuttle Contingency Guidence Requirements by Judith S. Crow. Abstract We describe a finite-state analysis of the mode-sequencing requirements for the Contingency Three-Engines-Out Guidance function of the Space Shuttle flight control system.Files |
||||
About Us 
R&D Divisions
Careers
Newsroom
Contact Us
©
2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy