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

An edition of Formal design and verification of a reliable computing platform for real-time control (1992)

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

phase 3 results

By Ricky W. Butler

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1994

Publisher

National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor

Language

eng

Pages

Description:

subjects: Architecture (Computers), Computer software, Digital Computers, Digital electronics, Digital systems, Electromagnetic interference, Fault tolerance, Flight control, Numerical control, Program verification (Computers), Real time operation, Verification