Reliable execution of statechart-generated correct embedded software under soft errors.

Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vrtler, Jean da Rolt, Gabriel L. Nazar, lvaro Freitas Moreira, Luigi Carro, Karsten Einwich

Browse the full DDECS paper archive.