Research Catalog

Formal design and verification of a reliable computing platform for real-time control phase 1 results

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.
Author
Di Vito, Ben L.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Center, distributor, 1990]

Details

Additional Authors
  • Butler, Ricky W.
  • Caldwell, James L.
  • Langley Research Center.
Description
1 v.
Series Statement
NASA technical memorandum ; 102716
Subject
Computer software > Verification
Note
  • Distributed to depository libraries in microfiche.
Reproduction (note)
  • Microfiche.
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
View in Legacy Catalog