Safety-critical Systems Symposium

6 janvier 2016

A l’occasion du « Safety-critical Systems Symposium » organisé par SCSC au Grand Hôtel de Brighton du 2 au 4 Février 2016, CLEARSY présentera son expérience en validation formelle de données ferroviaires, au travers d’un exposé retraçant l’historique de cette technique, ses développements et les résultats obtenus pour des applications industrielles métro et grandes lignes.