CLEARSY citée dans L’Usine Nouvelle pour ses partenariats avec la RATP Ferroviaire

Dans son numéro du 10 octobre 2013, L’Usine Nouvelle met en avant la stratégie de partage des innovations de la […]

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