Data Flow Analysis of Software Executed by Unreliable Hardware.

Peter Raab, Stanislav Racek, Stefan Krmer, Jrgen Mottok

Browse the full DSD paper archive.