- Additional Authors
- Description
- 1 v.
- Series Statement
- [NASA contractor report] ; NASA/CR-1999-208992
- Uniform Title
- NASA contractor report ; NASA CR-208992.
- Subject
- Note
- Shipping list no.: 99-0474-M.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.26:208992
- OCLC
- 41947432
- Title
Formal verification of the AAMP-FV microcode [microform] / Steven P. Miller ... [et al.].
- Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Springfield, VA : National Technical Information Service [distributor, 1999]
- Series
[NASA contractor report] ; NASA/CR-1999-208992
NASA contractor report ; NASA CR-208992.
- Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999] 1 microfiche.
- Added Author
Miller, Steven P.
Langley Research Center.
United States. National Aeronautics and Space Administration.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:208992
- Research Call Number
READEX Microfiche NAS 1.26:208992