Fechner, BernhardKeller, Jörg2017-12-062017-12-062010https://dl.gi.de/handle/20.500.12116/8533Bernhard Fechner, FernUniversit¨ at in Hagen, Dept. of Mathematics and Computer Science, 58084 Hagen, Germany J¨ org Keller, FernUniversit¨ at in Hagen, Dept. of Mathematics and Computer Science, 58084 Hagen, GermanyenStructural RedundancyConcurrent Error DetectionUnsigned IntegerTime RedundancyStatic Code AnalysisEfficient Fault-Tolerant Addition by Operand Width ConsiderationText/Journal Article10.1007/BF033454430724-5319