Systerel, acteur de référence depuis plus de 15 ans dans la mise en œuvre industrielle des techniques formelles, participera au congrès Smart Metro à Paris du 29 au 31 octobre prochains.

Partenaire du congrès, Systerel présentera à l’espace exposition son offre en matière de sécurité des systèmes critiques :

• Outils de conception et de vérification de systèmes critiques (Systerel Smart Solver, Systerel IXL Builder et OVADO®)
• Dernières solutions autour de la cyber-sécurité des systèmes industriels (Safe and Secure OPC)

Smart Metro réunira les experts mondiaux des technologies du métro et du tramway et bénéficie cette année du soutien de la RATP et la SNCF.

En savoir davantage sur Smart Metro Nos produits