Avec son relais de sécurité certifié SIL 4, CLEARSY a fait le buzz à InnoTrans Ferroviaire, Outils

Le relais de sécurité de niveau SIL 4 est une réalité : CLEARSY en a fait la présentation au salon international […]

Tutoriel sur la validation formelle des données à ABZ 2014, Toulouse Ferroviaire, Génie logiciel, Outils, R&D, Salons/conférences, Sûreté de fonctionnement

ProB: un model-checker pour la validation de données Ferroviaire, Outils, Sûreté de fonctionnement

PredicateB: un animateur de prédicats Outils, Sûreté de fonctionnement

Validation de données dans le ferroviaire Ferroviaire, Outils, Sûreté de fonctionnement