- Additional Authors
- Description
- 1 v.
- Series Statement
- NASA technical memorandum ; 102716
- Subject
- Computer software > Verification
- Note
- Distributed to depository libraries in microfiche.
- Reproduction (note)
- Call Number
- READEX Microfiche NAS 1.15:102716
- OCLC
- marcive31686857
- Author
Di Vito, Ben L.
- Title
Formal design and verification of a reliable computing platform for real-time control [microform] : phase 1 results / Ben L. Di Vito, Ricky W. Butler, James L. Caldwell.
- Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Center, distributor, 1990]
- Series
NASA technical memorandum ; 102716
- Reproduction
Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration, 1990] 1 microfiche.
- Added Author
Butler, Ricky W.
Caldwell, James L.
Langley Research Center.
- Gpo Item No.
0830-D (MF)
- Sudoc No.
NAS 1.15:102716
- Research Call Number
READEX Microfiche NAS 1.15:102716