Conférence Formal Methods – FM 2018 – Oxford

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

Projet LCHIP et architecture double processeur: premier starter kit

Conférence internationale SBMF 2017

Architecture double cœur SIL4 présentée au Forum IFSTTAR “Sûreté et sécurité dans les transports”

Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques

ClearSy participe au Forum Méthodes Formelles “Le model-checking en action”

AFADL 2014 : Les 11 et 12 juin 2014

Le 28 avril 2014 à l’institut Henri Poincaré : Méthodes formelles et langages pour le développement de logiciels fiables dans l’industrie