![symposium uk-2018](https://www.clearsy.com/wp-content/uploads/2018/06/symposium-uk-2018-1.jpg)
27 juin 2018
À 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.