CLEARSY attended the SMBF 2007 Conference in Brazil

20 July 2020

CLEARSY attended the SBMF 2007 Conference and presented its article: “Formal Methods in Safety-Critical Railway Systems”.

We discussed the use of Method B in the process to create systems and demonstrated the use of the Rodin platform CompoSys and Brama tools. The Brazilian UFRN university also presented its works on modelling with Method B. Discover the conference’s official site…