Systerel, a key player for the industrial implementation of formal methods for more than 15 years, will exhibit at Smart Metro Congress in Paris, from October 29th to October 31st.

As a partner of the congress, Systerel will present in the exhibition space its offer for critical systems safety:

Smart Metro will bring together world experts in metro and tramway technologies and this year is supported by RATP and SNCF.

Programme Learn more about our solutions