OUTIL COMMUNICATION ÉQUIPEMENTS ERTMS

Objectif du stage : Le contexte du stage est la norme de signalisation européenne ERTMS, qui définit l’échange normalisé de messages […]

DÉVELOPPEMENT FULL STACK D’UN OUTIL DE VALIDATION AUTOMATIQUE DE PARAMÉTRAGE ERTMS

Objectif du stage : Le stage consiste à développer un outil de validation automatique permettant de s’assurer de la bonne adéquation […]

DEVELOPPEMENT WORKBOOK ATELIER B

Objectif : Développer un workbook à destination des étudiants découvrant la méthode B et l’Atelier B. Contexte : L’Atelier B […]

MODERNISATION FULLSTACK DE L’ATELIER B

Objectif : Travaux de développement et d’évolutions sur un outil de preuve formelle. Atelier B est un environnement graphique de […]