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

Laisser un commentaire