TRADUCTEUR SMT2.7 POUR L’ATELIER B

L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement […]

MODERNISATION FULLSTACK DE L’ATELIER B

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

SÉCURISATION D’UN DISPOSITIF DE CONTRÔLE DE SUPERVISION

Objectif du stage : Ce stage vise à fiabiliser un système informatique de contrôle d’écran de supervision de procédé industriel. La […]

SYSTÈME DE LOCALISATION DE TRAIN INNOVANT

Objectif du stage :  Valider et faire évoluer un système innovant de localisation de train à la voie. Contexte : […]