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 bi-processeur SIL4 présentée du Printemps de l’Innovation Open Source

Atelier de modélisation temporelle Waruna présenté au salon “Machine to Machine & Objets connectés”

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”