A taxonomy for software voting algorithms used in safety-critical systems

G. Latif-Shabgahi, Julian M. Bass, Stuart Bennett. A taxonomy for software voting algorithms used in safety-critical systems. IEEE Transactions on Reliability, 53(3):319-328, 2004. [doi]

Abstract

Abstract is missing.