


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

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

ABZ 2014 – Toulouse du 2 au 5 juin

ERTS 2014
