Venez nous rencontrer lors d’InnoTrans, le rendez-vous mondial des acteurs du Transports Ferroviaire, Salons/conférences

CLEARSY participera à InnoTrans, le rendez-vous mondial des acteurs du Transports, qui se tiendra au Parc des Expositions de Berlin […]

CLEARSY is participating to InnoTrans, the leading international trade fair for transport technology Ferroviaire, Salons/conférences

ClearSy is participating to InnoTrans, the leading international trade fair for transport technology, which is held in Messe Berlin from 20 to 23 September, 2016. We look forward to seeing you at InnoTrans on ClearSy booth : stand 103, Hall 4.1.

Conférence ISSRE 2016 Salons/conférences

CLEARSY a été invitée (http://issre.net/keynotes) à présenter son expérience quant à l’utilisation de méthodes formelles pour des applications industrielles sûres […]

19ème conférence brésilienne sur les méthodes formelles Salons/conférences

CLEARSY co-organise la 19ème conférence brésilienne sur les méthodes formelles (http://sbmf2016.imd.ufrn.br/) qui aura lieu du 22 au 25 Novembre 2016 […]

Fiabilité, Sécurité et Sûreté des Systèmes Ferroviaires Ferroviaire, Salons/conférences

RSSR 2016, conférence internationale sur la fiabilité, sécurité et sûreté des systèmes ferroviaires en relation avec la modélisation, l’analyse la […]

Architecture bi-processeur SIL4 présentée au Printemps de l’Innovation Open Source Salons/conférences

À l’occasion de la journée « Langages et outils pour la fiabilité logicielle »  qui aura lieu le 12/05/2016 à Paris (Jussieu), […]

Atelier de modélisation temporelle Waruna présenté au salon « Machine to Machine & Objets connectés » Salons/conférences

À l’occasion du salon « Machine to Machine » qui aura lieu les 23 et 24 Mars 2016 à Paris Expo Porte […]

Safety-critical Systems Symposium Salons/conférences

A l’occasion du « Safety-critical Systems Symposium » organisé par SCSC au Grand Hôtel de Brighton du 2 au 4 Février 2016, […]