CLEARSY participe à la conférence ISOLA 2021 Ferroviaire, R&D, Salons/conférences, Sûreté de fonctionnement

Pour le 10e symposium international sur l’exploitation des applications des méthodes formelles, de la vérification et de la validation (ISOLA […]

CLEARSY participera au salon RSSI à Indianapolis en Septembre prochain. Ferroviaire, Salons/conférences

Le « Railway Systems Suppliers » (RSSI) est une association professionnelle qui regroupe plus de 280 entreprises membres du secteur de la […]

CLEARSY PARTICIPE À LA CONFÉRENCE INTERNATIONALE ABZ 2021 Salons/conférences

CLEARSY participe à la “internationale conference on rigorous state based methods” qui aura lieu du 07 au 11 Juin 2011.

smart metro CBTC
CLEARSY participe au congrès mondial SmartMetro (Novembre 2019) et CBTC en tant que sponsor. Ferroviaire, Salons/conférences

Le congrès constitue le lieu de rencontre mondial pour les experts en technologie du métro, du tram et du train […]

third world congress on formal methods Porto
CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019 Salons/conférences

CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019. CLEARSY y fais […]

AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B Salons/conférences

Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à […]

CLEARSY assistera à la conférence UITP 2019 à Stockholm. Ferroviaire, Salons/conférences

CLEARSY, entreprise Français de 140 personnes, conçoit et fabrique des systèmes et des logiciels sûrs certifiés dans les domaines urbain […]

CSSP présentée à la conférence RSSR 201
CLEARSY Safety Platform présentée à la conférence RSSR 2019 Ferroviaire, Salons/conférences

À l’occasion de la conférence RSSR 2019 organisée du 04 au 06 Juin 2019 à Lille, CLEARSY présente l’article intitulé […]