Safety-critical Systems Symposium

21 July 2020

At the occasion of the  “Safety-critical Systems Symposium” organized by SCSC  at The Grand Hotel, Brighton (2nd-4th February 2016), CLEARSY will present its experience in formal data validation in the railways, through a talk tracing the history of this technique, its developments and the results obtained so far for metro and main line industrial strength applications.