%0 Conference Paper %1 conf/dft/RebaudengoRTV00 %A Rebaudengo, Maurizio %A Reorda, Matteo Sonza %A Torchiano, Marco %A Violante, Massimo %B DFT %D 2000 %I IEEE Computer Society %K dblp %P 257-265 %T An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications. %U http://dblp.uni-trier.de/db/conf/dft/dft2000.html#RebaudengoRTV00 %@ 0-7695-0719-0

@inproceedings{conf/dft/RebaudengoRTV00, added-at = {2023-06-26T00:00:00.000+0200}, author = {Rebaudengo, Maurizio and Reorda, Matteo Sonza and Torchiano, Marco and Violante, Massimo}, biburl = {https://www.bibsonomy.org/bibtex/26818729b26e24d51fdeeda14647a6b9c/dblp}, booktitle = {DFT}, crossref = {conf/dft/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/DFTVS.2000.887164}, interhash = {4d8073fa55ca9a85a38847c34dbcc025}, intrahash = {6818729b26e24d51fdeeda14647a6b9c}, isbn = {0-7695-0719-0}, keywords = {dblp}, pages = {257-265}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:57:03.000+0200}, title = {An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications.}, url = {http://dblp.uni-trier.de/db/conf/dft/dft2000.html#RebaudengoRTV00}, year = 2000 }