Finite-state analysis of space shuttle contingency guidance requirements
By: Judith Crow.
Contributors: Langley Research Center.; SRI International.
Series: NASA contractor report -- 4741; NASA contractor report -- NASA CR-4741.
Publisher: National Aeronautics and Space Administration, Langley Research Center; Available from the National Technical Information Service
Published: 1996
Place of publication: Hampton, Va; Springfield, Va
Language: eng
Number of pages: 36
Subjects: Space shuttles -- Computer programs.; Space vehicles -- Guidance systems -- Computer programs.
Notes: "May 1996."

"Performing organization report number ECU 8200-230"--Report documentation page.

Includes bibliographical references (p. 34-36).

Performed by SRI International for the National Aeronautics and Space Administration Langley Research Center NAS1-18969