21 July 2020
At the occasion of the conference FM 2018 on Formal Methods held 15-17 July 2019 in Oxford (UK), the CLEARSY Safety Platform was demonstrated during the talk entitled “Disruptive Innovations for the Development of Faut-Free Software“.