Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request
under contracts NAS1-19341 and NAS9-18817
We couldn't estimate the reading time for this book.
Author
Contributions
- Roberts, Larry W. - Contributor
- Langley Research Center. - Contributor
Publication
1996 - National Technical Information Service, distributor, Hampton, Va, Virginia
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Microform
Identifiers
- OCLC Control Number40238749
- Open LibraryOL17838005M
Subjects
Topics
FormalismVerificationSpace ShuttlesSpace shuttlesSpace navigationComputer programsElectronic equipmentSpace Shuttle missionsSpace shuttle missionsGlobal positioning systemGlobal Positioning System
Series Statement
- NASA contractor report -- 4752.
- NASA contractor report -- NASA CR-4752.
Other Editions
- Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request: under contracts NAS1-19341 and NAS9-18817
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!