Vince Molnár, profile picture

Vince Molnár

Sort by
Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software