![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 […]
![CLEARSY Safety Platform handbook](https://www.clearsy.com/wp-content/uploads/2019/07/cssp-handbook-1.jpg)
La première version du CLEARSY Safety Platform Handbook est disponible au téléchargement. Il sera enrichi chaque mois avec de nouveaux […]
![Atelier CLEARSY Safety Platform](https://www.clearsy.com/wp-content/uploads/2019/07/atelier-cssp-1.jpg)
L’environnement de développement logiciel de la CLEARSY Safety Platform est disponible au téléchargement pour les possesseurs d’une carte SK0. Il […]
![RS4 SCK-CEN](https://www.clearsy.com/wp-content/uploads/2019/07/RS4-SCK-CEN-WP-FR-1.png)
Après sa diffusion réussie dans le ferroviaire, Le relais de sécurité RS4 de CLEARSY perce le nucléaire et passe avec […]
![SSSI web](https://www.clearsy.com/wp-content/uploads/2019/06/SSSI-web-1.png)
CLEARSY en charge du Report de Signalisation et de Commandes pour la RATP Le projet SYMPHONIE SSI vise à doter la RATP […]
![](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é […]