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.