![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
This is a new conference addressing critical problems faced by the modern railway – how to deliver reliable service to […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
At the occasion of the seminar entitled “Languages and tools for Software Reliability” (May 12th 2016, Jussieu (Paris)) that will […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
At the occasion of the “Safety-critical Systems Symposium” organized by SCSC at The Grand Hotel, Brighton (2nd-4th February 2016), CLEARSY […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
The aim of INTO-CPS project is to create an integrated “tool chain” for comprehensive Model-Based Design (MBD) of Cyber-Physical Systems […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
From October 20 to 23, 2015, CLEASRY have the privilege to participate to the 5th NEXTSTATION 2015 International Conference on […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY participated in the prestigious International Conference on Formal Methods, FM 2015, which was held in Oslo (Norway) from June […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Project context The KPVA beacons allow the punctual speed control of a train. Based on radar technology, the beacon installed […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY participates on SIFER 2015, from 24th till 26th March 2015, in the Grand Palais in Lille. SIFER, has for […]