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