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:
| Online Access: |
Click here to view online |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Other Authors: | |
| 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: |
| Item Description: | Shipping list number: 98-0835-M. |
|---|---|
| Physical Description: | 1 volume. |
| Reproduction Note: | Microfiche. |