Research Catalog

Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request under contracts NAS1-19341 and NAS9-18817

Title
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.
Author
Di Vito, Ben L.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]

Details

Additional Authors
  • Roberts, Larry W.
  • Langley Research Center.
Description
1 v.
Series Statement
NASA contractor report ; 4752
Uniform Title
NASA contractor report ; NASA CR-4752.
Subject
  • Space Shuttles
  • Global positioning system
  • Space navigation
  • Computer programs
  • Space Shuttle missions
  • Formalism
Note
  • Shipping list no.: 98-0835-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:4752
OCLC
marcive40238749
Author
Di Vito, Ben L.
Title
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.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
Series
NASA contractor report ; 4752
NASA contractor report ; NASA CR-4752.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 2 microfiches.
Added Author
Roberts, Larry W.
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:4752
Research Call Number
READEX Microfiche NAS 1.26:4752
View in Legacy Catalog