Articles de Presse sur l'Atelier B, et les Méthodes Formelles

Titre	Auteur	Fichier
Les Logiciels de Sécurité de Trainguard MT CBTC - Aperçu des technologies utilisées par STS pour assurer le bon fonctionnement de ses automatismes ferroviaires. Le processeur sécuritaire codé permet de se prémunir contre les erreurs de calcul, la méthode B contre les erreurs de conception du programme.	Magazine Le Rail
Les Méthodes formelles sonnent le Glas des Tests Unitaires - Présentation des méthodes formelles avec preuve, méthodes utilisées par ClearSy System Engineering dans le cadre de ses réalisations de systèmes sécuritaires ferroviaires. Page 1 - Page 2 - Page 3	Magazine 01 Informatique
Le Zéro Défaut n'existe pas mais on peut tout de même s'en approcher... - Présentation par Jean-Raymond Abrial de la méthode B, de son utilité et de ses capacités à se rapprocher du zéro défaut.	Magazine 01 Informatique
De l'Utilisation de la Méthode B... - Autre article présentant la Méthode B et son utilité dans le domaine ferroviaire actuel où la sûreté de fonctionnement est un élément crucial.	Magazine Rail & R
Les Méthodes Formelles, Garantes de la Sécurité des Systèmes... - Article portant sur les Méthodes Formelles, appliquées en milieu ferroviaire pour garantir la sécurité et la sûreté d'un système.	Magazine 01 Informatique