Version 4.5.1 de l’Atelier B

22 mars 2019
Read more

Version 4.5 de l’Atelier B

6 mars 2019
Read more

Conférence Formal Methods à Oxford du 15 au 17 juillet 2018

27 juin 2018
Read more

Conférence internationale SBMF 2017

18 septembre 2017
Read more

Prochaine session de formation B, niveau 2

6 juillet 2017
Read more

La nouvelle version 4.4.2 de l’AtelierB est disponible

21 février 2017
Read more

Version 4.4.2 de l’Atelier B

13 février 2017
Read more

ClearSy organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h.

10 octobre 2016
Read more

Clearsy présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques, le 13 octobre à St-Malo.

4 octobre 2016
Read more

L’Atelier B a fêté ses 20 ans

13 juin 2016
Read more