"Data Flow Analysis of Software Executed by Unreliable Hardware."

Peter Raab et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics