Contact

Newcastle University Technical Seminar

Newcastle University Technical Seminar

CLEARSY is contributing to a technical seminar organized by Newcastle University on 24 October 2013.

Formal methods are used worldwide to improve safety in several railways applications, at various levels and with a wide range of results obtained. This presentation is intended to provide a unified (not agnostic) overview of existing practices and to assess to which extent safety is ensured.

You will also like:

Copy link
Powered by Social Snap