The B WORKBOOK is now available Computer science, R&D, Sûreté de fonctionnement, Tools
The user manual for B Method, the B WORKBOOK, is now available on CLEARSY’s GitHub: (https://github.com/CLEARSY/BWORKBOOK). After several months of […]
Artificial Intelligence and safety R&D, Railway, Sûreté de fonctionnement
In a recent study conducted under the direction of the Operations and Safety Department of the International Union of Railways […]
CLEARSY assists SNCF Réseau with safety analyses for the LGV+ Paris-Lyon Offers, Railway, Safety, Sûreté de fonctionnement
CLEARSY has been assisting SNCF Réseau for over 3 years in carrying out safety analyses for the Paris-Lyon LGV+, a […]