TY  - RPRT
TI  - OpenSEA: Semi-Formal Methods for Soft Error Analysis
AU  - Patrick Klampfl
AU  - Robert Koenighofer
AU  - Roderick Bloem
AU  - Ayrat Khalimov
AU  - Aiman Abu-Yonis
AU  - Shiri Moran
PY  - 2017
UR  - https://arxiv.org/abs/1712.04291
ID  - 1712.04291
ER  -