Formal design and verification of a reliable computing platform for real-time control
Subtitle: phase 1 results
By: Ben L. Di Vito, Ricky W. Butler, James L. Caldwell.
Contributors: Butler, Ricky W.; Caldwell, James L.; Langley Research Center.
Series: NASA technical memorandum -- 102716.
Publisher: National Aeronautics and Space Administration, Langley Research Center; National Technical Information Center, distributor
Published: 1990
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Subjects: Computer software -- Verification.
Notes: Distributed to depository libraries in microfiche.

Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration, 1990] 1 microfiche.