Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request [microform] : under contracts NAS1-19341 and NAS9-18817 / Ben L. Di Vito, Larry W. Roberts.

Saved in:

Bibliographic Details
Online Access:	Click here to view online
Main Author:	Di Vito, Ben L.
Corporate Author:	Langley Research Center
Other Authors:	Roberts, Larry W.
Format:	Government Document Microfilm Book
Language:	English
Published:	Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], [1996]
Series:	NASA contractor report ; NASA CR-4752.
Subjects:	Space Shuttles. Global positioning system. Space navigation. Computer programs. Space Shuttle missions. Formalism.

Internet

Click here to view online

Holdings details from Online
Call Number:	NAS 1.26:4752
NAS 1.26:4752	Available