![seminar NewRail Center for Railway Research - Newcastle University](https://www.clearsy.com/wp-content/uploads/2018/02/seminar-newcastle.jpg)
21 July 2020
Several formal techniques based on B have been presented to an academic audience. A technical presentation of teh CLEARSY Safety Platform was given to the NewRail Center for Railway Research.