Formal modelling technology for the analysis of European rail traffic management systems
Start date
01 February 2013End date
31 August 2014Funding amount
£19,700
Funders
Team
Investigator
Professor Helen Treharne
Professor in Computer Science
See profile