Invited talk SESA Workshop @ ENSA Tétouan, Morocco

Today, I will give a talk @ ENSA Tétouan, Morocco during SESA workshop.

http://sesa2014.uae.ma

The talk will present some recent joint work with Inria Rennes and LaBRI Bordeaux on Runtime Enforcement of Timed Properties.

Thanks to the organisers for the invitation.