Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.

Kizito Salako

Browse the full SAFECOMP paper archive.