Authors:
Cheynet, P
Nicolescu, B
Velazco, R
Rebaudengo, M
Reorda, MS
Violante, M
Citation: P. Cheynet et al., Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors, IEEE NUCL S, 47(6), 2000, pp. 2231-2236