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]
@inproceedings{RebaudengoRTV00,
title = {An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications},
author = {Maurizio Rebaudengo and Matteo Sonza Reorda and Marco Torchiano and Massimo Violante},
year = {2000},
url = {http://computer.org/proceedings/dft/0719/07190257abs.htm},
tags = {rule-based, rules, transformation},
researchr = {https://researchr.org/publication/RebaudengoRTV00},
cites = {0},
citedby = {0},
pages = {257-265},
booktitle = {15th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2000), 25-27 October 2000, Yamanashi, Japan, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-0719-0},
}