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

Authors: Corno, F Glaser, U Prinetto, P Reorda, MS Vierhaus, HT Violante, M

Citation: F. Corno et al., SymFony: A hybrid topological-symbolic ATPG exploiting RT-level information, IEEE COMP A, 18(2), 1999, pp. 191-202