Lors de l’édition d’un plan de voies ferroviaire, un opérateur doit respecter certaines contraintes de sécurité lors du positionnement de […]

Nous sommes ravis d’annoncer la sortie de notre dernière version de Atelier B. Voici ce qui est nouveau et amélioré […]

CLEARSY organise prochainement des formations à la méthode B, en présentiel, dans ses locaux parisiens. Formation de niveau 3 – […]

CLEARSY est fier de partager un contrat avec Digitale Schiene Deutschland pour la fourniture d’un simulateur de bord ETCS afin […]

La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié. Trois extraits très intéressants : […]

Nous sommes ravis d’annoncer que CLEARSY a récemment signé un contrat cadre de quatre ans avec la RATP pour la […]

CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]

Une nouvelle version de la spécification du système de contrôle de la marche des trains européens standardisé (ETCS) vient de […]