![Clearsy Thumbnail](https://www.atelierb.eu/wp-content/uploads/2022/11/Clearsy-Thumbnail.png)
Publié le 18/09/2017 |
CLEARSY participe à la conférence internationale SBMF 2017 (http://sbmf2017.cin.ufpe.br/) relative aux méthodes formelles qui aura lieu du 27 Novembre au 1er Décembre 2017, à Recife (Brésil).
A cette occasion, CLEARSY présentera un article scientifique intitulé « Applying a Formal Method in Industry: a 25-Year Trajectory ».
Par ailleurs, une session de formation sera organisée dans le cadre de ETMF 2017 (Escola de Informática Teórica e Métodos Formais) afin d’initier des étudiants à la modélisation avec la méthode B, à l’utilisation de l’éditeur de modèles abstraits ainsi qu’au développement d’applications critiques avec la plateforme LCHIP.
![](https://www.methode-b.com/wp-content/uploads/sites/7/2017/09/SBMF-2017-500x500.jpg)