« International Conference on Reliability, Safety and Security of Railway Systems: modelling, analysis, verification and certification.”
Systerel a participé à la conférence RSSR à la maison de la RATP du 28 au 30 juin.
La solution de vérification formelle Systerel Smart Solver a été présentée : description, apports et applications de cet outil éprouvé industriellement dans le cadre de vérification de sécurité de systèmes ferroviaires.
Systerel est partenaire de cet événement réunissant industriels, chercheurs et universitaires du secteur ferroviaire.
En savoir plus sur la conférence RSSR En savoir plus sur Systerel Smart Solver