News - Page 16 of 28

Formal methods for cyber-physical systems – Shonan Exhibitions/conferences

CLEARSY will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south […]

Talk at the conference SBMF 2017 Exhibitions/conferences

Brazilian Symposium on Formal Methods The CLEARSY Safety Platform has been presented during the talk “Applying a Formal Method in […]

Tutorial doctoral School ETMF 2017 Exhibitions/conferences

A 3-hour tutorial was given to 20 formal methods researchers. This tutorial was well received as a mean to put […]

CLEARSY and Centralp are teaming up for the development of the ETCS DMI. ERTMS, Railway

CLEARSY and Centralp are joining forces to develop the ETCS DMI. The ETCS DMI (Driver Machine Interface) is an essential […]

Rail+Metro China 2017: Come and meet us! Exhibitions/conferences, Metro (CBTC), Railway

CLEARSY will be present at Rail + Metro 2017 in Shanghai. Come and meet us on our booth E7S159 from […]

Tutorial conference RSSR 2017 Exhibitions/conferences, Railway

Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification A 2-hour tutorial was given to an audience […]

Formal methods in action in the railways Exhibitions/conferences, Railway

Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real […]

UITP – Global transport Summit – Montreal from May 15th to 17th, 2017 – Booth 2 B 156 Exhibitions/conferences, Railway

This international event gathers each year the political authorities, public transport companies operators, scientific institutes, service providers and of the […]

Filter posts