Title: Formal design and verification of a reliable computing platform for real-time control
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