Software-Implemented Hardware Fault Tolerance More Books Like This

SSA-based Compiler Design

Certifications of Critical Systems – The CECRIS Experience