Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards.

Heinrich Krebs, Swapan Mitra

Browse the full SAFECOMP paper archive.