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

Séminaire Dagstuhl 2013 Salons/conférences

CLEARSY a participé au séminaire « Integration of Tools for Rigorous Software Construction and Analysis » (n°13372), organisé à Dagstuhl (Allemagne) du […]

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

PredicateB: un animateur de prédicats 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

Besoin d'un système sur-mesure ?

Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !

Contactez-nous

Filtrer les articles