News - Page 15 of 31

third world congress on formal methods Porto

CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019 Exhibitions/conferences

CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: […]

CLEARSY Safety Platform Handbook available Computer science

The first release of the CLEARSY Safety Platform is avaliable for download. It will be enriched every month with new […]

CLEARSY Saftey Platform 4.5.4 tool available Computer science

The CLEARSY Safety Platform IDE is available for download only for SK0 board owners. It is the first public version […]

The CLEARSY RS4 safety relay makes its debut in the nuclear power industry Energy/nuclear

After its successful deployment in the railroad, the CLEARSY RS4 safety relay makes its debut in the nuclear power industry […]

AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B Exhibitions/conferences

The 18th edition of AFADL days (Approches Formelles dans l’Assistance au Développement Logiciel in french or Formal approaches to support […]

CLEARSY will attend the UITP Global Public Transport Summit 2019 in Stockholm. Exhibitions/conferences, Railway

CLEARSY, a French company of 140 employees, designs and produces certified safe systems and software applications for urban and main-line […]

CLEARSY Safety Platform exhibited at conference RSSR 2019 Exhibitions/conferences, Railway

At the occasion of the conference RSSR 2019 held on 4-6 June 2019 in Lille, CLEARSY presents the paper entitled […]

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

Filter posts