Assigning safe processing to meanings Outils, R&D, Sûreté de fonctionnement
CLEARSY a développé et certifié la CLEARSY SAFETY PLATFORM (CSP), une solution pour développer des systèmes embarqués temps réel sécuritaires […]
CLEARSY participe à la conférence ISOLA 2021 Ferroviaire, R&D, Salons/conférences, Sûreté de fonctionnement
Pour le 10e symposium international sur l’exploitation des applications des méthodes formelles, de la vérification et de la validation (ISOLA […]
CLEARSY rejoint le groupe RoboStar R&D
Orchestré par l’université de York (UK), RoboStar regroupe des chercheurs travaillant à l’ingénirie logicielle pour la robotique. Des travaux permettant […]
