![](https://www.clearsy.com/wp-content/uploads/2021/08/RSSI-FR-web.jpeg)
Le « Railway Systems Suppliers » (RSSI) est une association professionnelle qui regroupe plus de 280 entreprises membres du secteur de la […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/actu-tuto-abz-web-FR.jpeg)
CLEARSY participe à la “internationale conference on rigorous state based methods” qui aura lieu du 07 au 11 Juin 2011.
![smart metro CBTC](https://www.clearsy.com/wp-content/uploads/2019/11/smart-metro-web-FR-1.png)
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](https://www.clearsy.com/wp-content/uploads/2019/10/Porto-site-FR-1.png)
CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019. CLEARSY y fais […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/IMG_1164.jpg)
Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/web-uitp-850-325.jpg)
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](https://www.clearsy.com/wp-content/uploads/2019/06/rssr-lille.jpg)
À l’occasion de la conférence RSSR 2019 organisée du 04 au 06 Juin 2019 à Lille, CLEARSY présente l’article intitulé […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/rssr-web-jpg.jpg)
La troisième conférence RSSR (Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification) va avoir lieu à […]