Research Catalog

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

Title
Formal design and verification of a reliable computing platform for real-time control [microform] : phase 3 results / Ricky W. Butler, Ben L. Di Vito, C. Michael Holloway.
Author
Butler, Ricky W.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]

Details

Additional Authors
  • Di Vito, Ben L.
  • Holloway, C. Michael.
  • Langley Research Center.
Description
1 v.
Series Statement
NASA technical memorandum ; 109140
Subject
  • Architecture (Computers)
  • Digital computers
  • Digital electronics
  • Digital systems
  • Electromagnetic interference
  • Fault tolerance
  • Flight control
  • Numerical control
  • Program verification (Computers)
  • Real time operation
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 95-0053-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.15:109140
OCLC
marcive32265048
Author
Butler, Ricky W.
Title
Formal design and verification of a reliable computing platform for real-time control [microform] : phase 3 results / Ricky W. Butler, Ben L. Di Vito, C. Michael Holloway.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Series
NASA technical memorandum ; 109140
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1994] 2 microfiches.
Added Author
Di Vito, Ben L.
Holloway, C. Michael.
Langley Research Center.
Gpo Item No.
0830-D (MF)
Sudoc No.
NAS 1.15:109140
Research Call Number
READEX Microfiche NAS 1.15:109140
View in Legacy Catalog