![ERTMS - PC](https://www.clearsy.com/wp-content/uploads/2019/01/ERTMS-PC-1.png)
CLEARSY se renforce dans le domaine de la signalisation ferroviaire. Avec l’acquisition de l’entreprise ERSA en juillet dernier, la société […]
![CLEARSY INNOTRANS 2018](https://www.clearsy.com/wp-content/uploads/2018/12/clearsy-innotrans.png)
CLEARSY était présent au salon Innotrans à Berlin. L’occasion de présenter CLEARSY Data Solver, la plateforme Saturn, l’armoire de signalisation […]
![Travaux pratiques à IFRN Parnamirim](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-hands.jpg)
À Parnamirim/Brésil, le starter kit SK1 a été présenté à un ensemble d’enseignants chercheurs (IFRN: Instituto Federal de Educação, Ciência […]
![CSSP présentée au Workshop on Software Development Technology](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-central-talk.jpg)
A IFRN-Central (Natal/Brésil), un exposé a présenté à des étudiants et enseignants en informatique le développement de logiciels prouvés avec […]
![Logo ERSA by CLEARSY](https://www.clearsy.com/wp-content/uploads/2018/07/logo-ersa-by-clearsy-1.jpg)
L’unité ERTMS de CLEARSY franchit à présent une nouvelle étape, grâce à l’acquisition le 12 juillet 2018 de la société ERSA […]
![CSSP présentée pendant l'Industry Day 2018 - Oxford](https://www.clearsy.com/wp-content/uploads/2018/07/fm-oxford-1.jpg)
Au cours de la Conférence FM 2018 (Formal Methods) organisée du 15 au 17 Juillet 2018 à Oxford (UK), la CLEARSY […]
![](https://www.clearsy.com/wp-content/uploads/2018/07/Tramway_Nice_Massena-850x325-1.jpg)
Luxembourg-Ville, et maintenant Nice lignes 2 et 3 : pour la 2ème fois en 2 ans, CLEARSY va produire les […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/ABZ-2018-CLEARSY-850x325-1.jpg)
La société CLEARSY était présente à la sixième édition de la conférence internationale ABZ, dédiée à diverses méthodes formelles, en […]