Implementing fault-tolerance in real-time systems by automatic program transformations.

Tolga Ayav, Pascal Fradet, Alain Girault

Browse the full EMSOFT paper archive.