Validation des données et rétro-ingénierie Ferroviaire, Génie logiciel, Sûreté de fonctionnement

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

Le renouveau du tramway Ferroviaire

Le tramway, ou « tram » moderne est un transport en commun urbain ou interurbain tracté électriquement sur des rails plats, installés […]

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

Introduction à la validation de données Ferroviaire, Non classifié(e), Sûreté de fonctionnement

Mise à niveau de la signalisation du tramway de Nice (prolongation T1) Ferroviaire

Dans le cadre de la prolongation de la première ligne de tramway de l’agglomération niçoise (T1EXT) entre la station existante […]

Ligne 1 : La mue souterraine Ferroviaire

Ou la discrète automatisation du plus vieux métro parisien. Après 111 ans de bons et loyaux services, la ligne 1, […]

Automatisation des portes palières de la ligne 1 du métro parisien Ferroviaire, Métro (CBTC)

Les dessous d’une modernisation La ligne une, la plus empruntée de Paris, dont l’histoire débute en 1900, change aujourd’hui de […]