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...
Actualités
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...
Prochaine session de formation B, niveau 2
La prochaine formation B sera une session de niveau 2 et se tiendra du 24 au 27 juillet 2017 à Paris. Pensez à vous inscrire !
La nouvelle version 4.4.2 de l’AtelierB est disponible
Cette version contient de nombreux correctifs et plusieurs améliorations. La fonctionnalité le plus marquante est une fonction de visualisation et de gestion...