Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Cette version corrige, de manière...
Thierry Lecomte
Conférence Formal Methods – FM 2018 – Oxford
A l'occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY présentera sa vision de l'utilisation des méthodes...
Conférence Formal Methods à Oxford du 15 au 17 juillet 2018
A l'occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY présentera sa vision de l'utilisation des méthodes...
Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan
CLEARSY va organiser à Shonan (sud de Tokyo), du 05 au 09 Novembre 2018, un séminaire scientifique sur invitation relatif à l'usage industriel des méthodes...
Projet LCHIP et architecture double processeur: premier starter kit
Le projet LCHIP (Low Cost High Integrity Platform) est un projet co-financé par la Banque Publique d’Investissement, la Région PACA et la Métropole...
Conférence internationale SBMF 2017
CLEARSY participe à la conférence internationale SBMF 2017 (http://sbmf2017.cin.ufpe.br/) relative aux méthodes formelles qui aura lieu du 27 Novembre au 1er...