CLEARSY is participating to the “international conference on rigorous state based methods” which will take place from June 07 to 11, 2011.
The congress provides the global meeting place for senior metro, tram, and light rail technology experts. This year the event […]
CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: […]
The 18th edition of AFADL days (Approches Formelles dans l’Assistance au Développement Logiciel in french or Formal approaches to support […]
CLEARSY, a French company of 140 employees, designs and produces certified safe systems and software applications for urban and main-line […]
At the occasion of the conference RSSR 2019 held on 4-6 June 2019 in Lille, CLEARSY presents the paper entitled […]
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) – Hall 1 Booth 218 Safety […]