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…