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