CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action » Salons/conférences

CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action » organisé par le LAAS-CNRS le jeudi 16 octobre 2014. A […]

Merci de votre venue et à bientôt Ferroviaire, Salons/conférences

Toute l’équipe de CLEARSY vous remercie de votre visite sur notre stand au dernier salon Innotrans de Berlin. Nous serons […]

Innotrans 2014, rencontrez nous ! Ferroviaire, Salons/conférences

Du 23 au 26 septembre 2014, Berlin accueillera la foire internationale Innotrans. À cette occasion, nous vous invitons à nous […]

Tutoriel sur la validation formelle des données à ABZ 2014, Toulouse Ferroviaire, Génie logiciel, Outils, R&D, Salons/conférences, Sûreté de fonctionnement

AFADL 2014 : Les 11 et 12 juin 2014 Salons/conférences

CLEARSY sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que […]

ABZ 2014 – Du 2 au 6 juin à Toulouse Salons/conférences

La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et […]

Ingénierie des Systèmes Complexes à Logiciels Prépondérants
Séminaire ISCLP – Ingénierie des Systèmes Complexes à Logiciels Prépondérants Défense, Salons/conférences

CLEARSY a participé au séminaire ISCLP organisé par la DGA dans le cadre de sa mission « préparer le futur […]

Engineering Complex Preponderant Software Systems Seminar in Toulouse Défense, Salons/conférences

CLEARSY attended the ISCLP seminar organized by the DGA as part of its mission « to prepare the future of defense […]