Actualités - Page 14 sur 39

CLEARSY organise prochainement des formations à la méthode B Génie logiciel, Outils

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

CLEARSY participe au salon RSSI à Kansas City en Mai 2022 Ferroviaire, Salons/conférences

CLEARSY participera au salon RSSI à Kansas City en Mai prochain. Le « Railway Systems Suppliers » (RSSI) est une association professionnelle […]

CLEARSY participe à la Conférence ERTMS 2022 ERTMS, Ferroviaire, Salons/conférences

CLEARSY participera à la Conférence ERTMS 2022 à Valenciennes du 26 au 28 avril 2022, organisée par l’Agence Européenne Ferroviaire […]

CLEARSY fournit un laboratoire ETCS au centre de recherche DZSF en Allemagne. ERTMS, Outils

CLEARSY va fournir à l’Office Fédéral des Chemins de Fer EBA (EisenBahn-Bundesamt) et au centre allemand de recherche sur le […]

CLEARSY réalise la preuve formelle du système Contrôle – Commande – Signalisation du projet HPMV. ERTMS, Ferroviaire

CLEARSY réalise la preuve formelle du système Contrôle – Commande – Signalisation du projet HPMV : la nouvelle signalisation ERTMS Niveau […]

CLEARSY sécurise la signalisation de deux sites de maintenance et de remise en région parisienne. Ferroviaire, Sûreté de fonctionnement

CLEARSY sécurise la signalisation de deux sites de maintenance et de remise (SMR) en région parisienne pour le compte de […]

Deux décennies d’application industrielle de la méthode formelle B. Génie logiciel, Outils, R&D

La mise à disposition de l’Atelier B 4.7 concrétise deux décennies d’exploitation industrielle de la méthode formelle B, avec le […]

Le nouvel Atelier B 4.7 est disponible. Génie logiciel, Outils, R&D

L’Atelier B 4.7.1 est disponible en version Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) et en version Maintenance Edition pour les possesseurs d’un contrat de […]

Filtrer les articles