actualités

Actualités

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

7 janvier 2020

Actualités, Colloque

AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B

10 juin 2019

Actualités

Version 4.5.1 de l’Atelier B

22 mars 2019

Actualités

Version 4.5 de l’Atelier B

6 mars 2019

Actualités, Conférences

Conférence Formal Methods – FM 2018 – Oxford

27 juin 2018

Actualités, Colloque

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

Actualités, Conférences

Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan

14 décembre 2017

Actualités, Conférences

Projet LCHIP et architecture double processeur: premier starter kit

20 novembre 2017