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