Logo-RailMetro-China-2017
Rail+Metro China 2017 : Venez nous rencontrer ! Ferroviaire, Métro (CBTC), Salons/conférences

CLEARSY sera sur le salon Rail+Metro 2017 à Shanghai. Venez nous retrouver sur notre stand E7S159 du 21 au 23 […]

Tutorial conference RSSR 2017
Tutoriel conférence RSSR Ferroviaire, Salons/conférences

Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification La conférence RSSR 2017 était organisée le 14 […]

Les méthodes formelles appliquées au ferroviaire Ferroviaire, Salons/conférences

Adaptées pour l’industrie, les méthodes formelles sont utilisées sur des projets ferroviaires d’envergure et permettent de démontrer la sureté de […]

Conférence internationale SBMF 2017
Conférence internationale SBMF 2017 Salons/conférences

CLEARSY participe à la Conférence internationale SBMF 2017 relative aux méthodes formelles. Cette conférence aura lieu du 27 Novembre au 1er […]

Salon des transports publics UITP Ferroviaire, Salons/conférences

Venez nous retrouver sur le salon UITP de Montréal du 15 au 17 mai 2017. Ce salon et congrès mondial […]

SIFER 2017 – Venez nous renconter ! Ferroviaire, Salons/conférences

CLEARSY participe au salon  SIFER 2017, qui se tiendra du 21 au 23 mars 2017, au Grand Palais à Lille. […]

image-psa
CLEARSY organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h. Salons/conférences

Ce séminaire, intitulé « Logiciel prouvé avec B pour des automatismes sécuritaires à bas coût et à haut niveau d’intégrité », est […]

LCHIP project (Low Cost High Integrity Platform)
CLEARSY présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques – 13 oct à St Malo Salons/conférences

Le projet LCHIP (Low Cost High Integrity Plateform) vise à faciliter le développement de systèmes sécuritaires (logiciel critiques) jusqu’au niveau […]