Towards validated real-time software.

Valrie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis

Browse the full ECRTS paper archive.