Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request
Read Online
Share

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

  • 631 Want to read
  • ·
  • 46 Currently reading

Published by National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor in Hampton, Va, [Springfield, Va .
Written in English

Subjects:

  • Space Shuttles,
  • Global positioning system,
  • Space navigation,
  • Computer programs,
  • Space Shuttle missions,
  • Formalism

Book details:

Edition Notes

StatementBen L. Di Vito, Larry W. Roberts.
SeriesNASA contractor report -- 4752., NASA contractor report -- NASA CR-4752.
ContributionsRoberts, Larry W., Langley Research Center.
The Physical Object
FormatMicroform
Pagination1 v.
ID Numbers
Open LibraryOL17838005M
OCLC/WorldCa40238749

Download Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request

PDF EPUB FB2 MOBI RTF