Aug 282017
 

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.

 Posted by at 8:18 AM