CLEARSY était présent au salon Innotrans à Berlin. L’occasion de présenter CLEARSY Data Solver, la plateforme Saturn, l’armoire de signalisation […]

À Parnamirim/Brésil, le starter kit SK1 a été présenté à un ensemble d’enseignants chercheurs (IFRN: Instituto Federal de Educação, Ciência […]

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 […]

L’unité ERTMS de CLEARSY franchit à présent une nouvelle étape, grâce à l’acquisition le 12 juillet 2018 de la société ERSA […]

Au cours de la Conférence FM 2018 (Formal Methods) organisée du 15 au 17 Juillet 2018 à Oxford (UK), la CLEARSY […]

Luxembourg-Ville, et maintenant Nice lignes 2 et 3 : pour la 2ème fois en 2 ans, CLEARSY va produire les […]

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 […]

À l’occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY […]