Stefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler. RobuCheck: a robustness checker for digital circuits. In Arndt Bode, editor, Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, DYADEM-FTS '10, Valencia, Spain, April 27, 2010. pages 37-38, ACM, 2010. [doi]
Abstract is missing.