Lecturing @ ETR (French summer school)

ETR is a well-known Frenh summer school on real-time systems and formal methods. I am giving a tutorial talk in the formal methods track about Runtime Enforcement of Timed Properties.

The companion tutorial can be found in the proceedings and the electronic version can be downloaded here.