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