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

Conférence internationale SBMF 2017

Prochaine session de formation B, niveau 2

La nouvelle version 4.4.2 de l’AtelierB est disponible

Version 4.4.2 de l’Atelier B

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

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

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

L’architecture bi-processeur SIL4 : aux journées de printemps de l’innovation de l’Open Source

Sortie de la version de maintenance 4.3.1 de l’Atelier B