Séminaire technique à l’Université de Newcastle Ferroviaire, Salons/conférences

CLEARSY contribue à un séminaire technique organisé par l’Université de Newcastle le 24 octobre 2013. Les méthodes formelles sont utilisées […]

Conférence CAI 2013 Ferroviaire, Salons/conférences

CLEARSY a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au […]

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 […]