Maurizio Rebaudengo, Matteo Sonza Reorda, Marco Torchiano, Massimo Violante. An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications. In 15th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2000), 25-27 October 2000, Yamanashi, Japan, Proceedings. pages 257-265, IEEE Computer Society, 2000. [doi]
Abstract is missing.