Stefan Frehse, Görschwin Fey, André Süflow, Rolf Drechsler, "Robustness Check for Multiple Faults Using Formal Techniques," Digital Systems Design, Euromicro Symposium on, pp. 85-90, 2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, 2009.

@article{ 10.1109/DSD.2009.218,
author = {Stefan Frehse and Görschwin Fey and André Süflow and Rolf Drechsler},
title = {Robustness Check for Multiple Faults Using Formal Techniques},
journal ={Digital Systems Design, Euromicro Symposium on},
volume = {0},
year = {2009},
isbn = {978-0-7695-3782-5},
pages = {85-90},
doi = {http://doi.ieeecomputersociety.org/10.1109/DSD.2009.218},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Digital Systems Design, Euromicro Symposium on
TI - Robustness Check for Multiple Faults Using Formal Techniques
SN - 978-0-7695-3782-5
SP85
EP90
A1 - Stefan Frehse,
A1 - Görschwin Fey,
A1 - André Süflow,
A1 - Rolf Drechsler,
PY - 2009
KW - robustness
KW - multiple event upsets
KW - soft errors
KW - formal verification
VL - 0
JA - Digital Systems Design, Euromicro Symposium on
ER -