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

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

La troisième conférence RSSR (Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification) va avoir lieu à […]

VENEZ SUR NOTRE STAND AU SALON SIFER DU 26 AU 28 MARS 2019 À LILLE – Hall 1 Stand 218 […]

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

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