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, […]

CLEARSY recevra les 18 et 19 novembre 2015 la première rencontre annuelle du projet européen H2020 INTO-CPS. Salons/conférences

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 […]

Architecture bi-processeur SIL4 présentée au Forum IFSTTAR « Sûreté et sécurité dans les transports » Ferroviaire, Salons/conférences

A l’occasion du forum IFSTTAR »Sûreté et sécurité dans les transports » qui aura lieu le 09/12/2015 à Paris dans les locaux […]

CLEARSY a participé à la 5ème édition de la conférence internationale sur les gares ferroviaires, NEXTSTATION 2015 Ferroviaire, Salons/conférences

CLEARSY a participé à la 5ème édition de la conférence internationale sur les gares ferroviaires, NEXTSTATION 2015  à Marrakech (Maroc) […]

CLEARSY a participé à FM 2015, conférence internationale relative aux méthodes formelles Salons/conférences

CLEARSY a participé à la prestigieuse conférence internationale relative aux méthodes formelles, FM 2015, qui a eu lieu à Oslo […]

CLEARSY a participé à la conférence Formal Methods 2015 Salons/conférences

CLEARSY a participé à la conférence Formal Methods 2015 qui s’est tenue du 22 au 26 Juin à Oslo (Norvège). […]