CSSP présentée au Workshop on Software Development Technology
CSSP présentée au Workshop on Software Development Technology Salons/conférences

A IFRN-Central (Natal/Brésil), un exposé a présenté à des étudiants et enseignants en informatique le développement de logiciels prouvés avec […]

CSSP présentée pendant l'Industry Day 2018 - Oxford
CLEARSY Safety Platform présentée pendant l’Industry Day 2018 Salons/conférences

Au cours de la Conférence FM 2018 (Formal Methods) organisée du 15 au 17 Juillet 2018 à Oxford (UK), la CLEARSY […]

ABZ 2018 – Du 5 au 8 juin 2018 à Southampton, Royaume-Uni Salons/conférences

La société CLEARSY était présente à la sixième édition de la conférence internationale ABZ, dédiée à diverses méthodes formelles, en […]

symposium uk-2018
Conférence Formal Methods – Oxford Salons/conférences

À l’occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY […]

starter kit SK0, travaux pratiques à IFRN Parnamirim
Travaux pratiques à IFRN Parnamirim Salons/conférences

À Parnamirim/Brésil, le starter kit SK0 a été présenté à un ensemble d’enseignants chercheurs (IFRN: Instituto Federal de Educação, Ciência […]

CSSP présentée à IFRN Parnamirim
CLEARSY Safety Platform présentée à IFRN Parnamirim Salons/conférences

Une présentation technique de la CLEARSY Safety Plateform pour 180 étudiants, enseignants et chercheurs du département mécatronique de l’Institut Fédéral […]

COURS DE MASTER 2 POUR L’UFRN/IMD Natal (Brésil)
Cours de master 2 pour l’UFRN/IMD Salons/conférences

Un cours de master 2 a été organisé à Natal (Brésil) pour l’UFRN/IMD pour une vingtaine d’étudiants. La partie magistrale […]

CLEARSY starter kit SK0 Universidade Federal Fluminense
Travaux pratiques à UFF Niteroi Salons/conférences

A Niteroi/Brésil, le starter kit SK0 a été présenté à un ensemble d’enseignants chercheurs du domaine de l’informatique (UFF: Universidade […]