Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus
Evaluating coverage of error detection logic for soft errors using formal methods
DATE, 2006.
@inproceedings{DATE-2006-KrautzP0TWV,
author = "Udo Krautz and Matthias Pflanz and Christian Jacobi and Hans-Werner Tast and Kai Weber and Heinrich Theodor Vierhaus",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131534",
pages = "176--181",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{Evaluating coverage of error detection logic for soft errors using formal methods}",
year = 2006,
}