Formal modelling technology for the analysis of European rail traffic management systems
Start date
01 February 2013End date
31 August 2014Team
Investigator
![Helen Treharne](/sites/default/files/styles/image_150x150_scale_and_crop/public/2018-04/Helen%20Treharne.jpg?itok=o8TC0_me)
Professor Helen Treharne
Professor in Computer Science
See profileStart date
01 February 2013End date
31 August 2014Professor in Computer Science
See profile