Conférence Formal Methods à Oxford du 15 au 17 juillet 2018

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/).