Toute l'équipe de CLEARSY vous a rencontré lors du Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques, Lambda Mu 19. Nous remercions vous...

Toute l'équipe de CLEARSY vous a rencontré lors du Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques, Lambda Mu 19. Nous remercions vous...
CLEARSY participe au Forum Méthodes Formelles "Le model-checking en action" organisé par le LAAS-CNRS le jeudi 16 octobre 2014. A cette occasion, sont...
CLEARSY sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que les journées du GDR GPL....
Lors de cet après-midi industriel dont la thématique est "Semantics of proofs and certified mathematics", CLEARSY présentera l'utilisation du B...
L’ingénierie dirigée par les modèles (IDM) est au centre des préoccupations des Journées Neptune. A l’occasion de la journée Neptune du 3 juin 2014...
La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et industriels. Les...