Conférence Formal Methods – FM 2018 – Oxford

A l’occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY présentera sa vision de l’utilisation des méthodes formelles pour le développement de systèmes critiques. L’exposé intitulé « Disruptive Innovations for the Development and the Deployment of Fault-Tree Software » aura lieu le 17 Juillet lors de la journée industrielle (http://www.fm2018.org/industry-day/).