Formal design and verification of a reliable computing platform for real-time control
Subtitle: phase 3 results
By: Ricky W. Butler, Ben L. Di Vito, C. Michael Holloway.
Contributors: Di Vito, Ben L.; Holloway, C. Michael.; Langley Research Center.
Series: NASA technical memorandum -- 109140.
Publisher: National Aeronautics and Space Administration, Langley Research Center; National Technical Information Service, distributor
Published: 1994
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Subjects: Architecture (Computers); Digital computers.; Digital electronics.; Digital systems.; Electromagnetic interference.; Fault tolerance.; Flight control.; Numerical control.; Program verification (Computers); Real time operation.
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 95-0053-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1994] 2 microfiches.