General Info:
Start Date: 15 Dec 2016
Start Time: 09:00
End Date: 15 Dec 2016
End Time: 11:00
Location: Fondazione Bruno Kessler (Povo), Sala Stringa
Programme:
The program was structured as follows:- 9:00 – 9:45 "Collaborative Design for Embedded Systems - Co-modelling and Co-simulation" Speaker: Marcel Verhoef (European Space Agency)
- 9:45 – 10:30 "Causality Checking" Speaker: Stefan Leue (University of Konstanz)
- 10:30 – 11:00 Coffee Break
- 11:00 – 11:45 "Diagnosability Planning for Controllable Discrete Event Systems" Speaker: Philippe Dague (Université Paris-Sud / LRI)