Third conference RSSR on Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification Exhibitions/conferences, Railway

The third conference RSSR on Reliability, Safety  and Security of Railway systems; modelling, analysis, verification and certification will take place […]

COME TO CLEARSY’s BOOTH AT SIFER FAIR, FROM 26th AU 28th MARCH 2019 AT LILLE (France) Exhibitions/conferences, Railway

COME TO CLEARSY’s BOOTH AT SIFER FAIR, FROM 26th AU 28th MARCH 2019 AT LILLE (France) –  Hall 1 Booth 218 Safety […]

Hands-on session at IFRN Parnamirim Exhibitions/conferences

In Parnamirim/Brazil, the starter kit SK1 has been presented to teachers and researchers (IFRN: Instituto Federal de Educação, Ciência e […]

CSSP presented at Workshop on Software Development Technology Exhibitions/conferences

At IFRN-Central (Natal/Brazil), the development of proven software with the B method and their execution on the CLEARSY Safety Platform […]

CLEARSY Safety Platform presented at Industry Day 2018 Exhibitions/conferences

At the occasion of the conference FM 2018 on Formal Methods held 15-17 July 2019 in Oxford (UK), the CLEARSY […]

ABZ 2018 – from 5th au 8th June 2018 – Southampton, United Kingdom Exhibitions/conferences

CLEARSY has attended the sixth edition of the ABZ conference, an event dedicated to formal methods, including the B method […]

Conference on formal methods – Oxford Exhibitions/conferences

During the international conference on formal methods (FM 2018), which will take place in Oxford on 15-17 July 2018, CLEARSY […]

Hands-on session at IFRN Parnamirim Exhibitions/conferences

In Parnamirim/Brazil, the starter kit SK0 has been presented to teachers and researchers (IFRN: Instituto Federal de Educação, Ciência e […]