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