Using formal methods to assist in the requirements analysis of the space shuttle GPS change request
By: Ben L. Di Vito, Larry W. Roberts.
Contributors: Roberts, Larry W.; Langley Research Center.; Lockheed Martin Space Information Systems.; ViGYAN, Inc.
Series: NASA contractor report -- 4752; NASA contractor report -- NASA CR-4752.
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: 86
Subjects: Computer programs -- Verification.; Global Positioning System.; Space shuttles -- Electronic equipment.
Notes: "August 1996."

Includes bibliographical references (p. 46-47).

Performed by ViGYAN, Inc. and Lockheed Martin Space Information Systems for the National Aeronautics and Space Administration, Langley Research Center NAS1-19341 NAS9-18817 WU 323-08-0102