Publié le 27/06/2018 |

During the international conference on formal methods (FM 2018), which will take place in Oxford on 15-17 July 2018, CLEARSY will present its vision on the use of formal methods for the development of safety critical systems. The talk entitled “Disruptive Innovations for the Development and the Deployment of Fault-Tree Software” will be given the 17th of July at the occasion of the Industry Day (