Hamad, G. B. (mars 2015). Multilevel modeling, formal analysis, and characterization of soft errors in digital systems [Communication écrite]. EDAA/ACM SIGDA PhD Forum, Grenoble, France. Non disponible
