![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
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 […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
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 […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
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 […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
À l’occasion de la journée « Langages et outils pour la fiabilité logicielle » qui aura lieu le 12/05/2016 à Paris (Jussieu), […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
À l’occasion du salon « Machine to Machine » qui aura lieu les 23 et 24 Mars 2016 à Paris Expo Porte […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
A l’occasion du « Safety-critical Systems Symposium » organisé par SCSC au Grand Hôtel de Brighton du 2 au 4 Février 2016, […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY réalise le dossier de sécurité pour les dispositifs d’évacuation et de désenfumage de la nouvelle rocade L2 de Marseille, […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
L’objectif du projet INTO-CPS est la création d’une chaîne d’outils de développement de systèmes cyber-physiques (Cyber-Physical Systems CPS) de conception […]