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 […]
À Parnamirim/Brésil, le starter kit SK0 a été présenté à un ensemble d’enseignants chercheurs (IFRN: Instituto Federal de Educação, Ciência […]
Une présentation technique de la CLEARSY Safety Plateform pour 180 étudiants, enseignants et chercheurs du département mécatronique de l’Institut Fédéral […]
Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !