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
