This colloquia event may not be open to the public. Please enquire at the School Office if you wish to attend.
Location: CLT 7.01
Date/Time: 24th October 2013, 13:00 - 14:00
Speaker: Thierry Lecomte, ClearSy, France (http://www.researchgate.net/profile/Thierry_Lecomte/).
Formal methods are used worldwide to improve safety in several railways applications, at various levels and with a wide range of results obtained. This presentation is intended to provide a unified (not agnostic) overview of existing practices and to assess to which extent safety is ensured.
Published: 17th September 2013