Heidrun Engel. Data flow transformations to detect results which are corrupted by hardware faults. In 1st High-Assurance Systems Engineering Workshop (HASE 96), October 22, 1996, Niagara, Canada, Proceedings. pages 279-251, IEEE Computer Society, 1996. [doi]
@inproceedings{Engel96:0,
title = {Data flow transformations to detect results which are corrupted by hardware faults},
author = {Heidrun Engel},
year = {1996},
url = {http://computer.org/proceedings/hase/7629/76290279abs.htm},
tags = {data-flow, transformation},
researchr = {https://researchr.org/publication/Engel96%3A0},
cites = {0},
citedby = {0},
pages = {279},
booktitle = {1st High-Assurance Systems Engineering Workshop (HASE 96), October 22, 1996, Niagara, Canada, Proceedings},
publisher = {IEEE Computer Society},
}