Project Details
| Short title | PERFORMINGRAIL: PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling |
|---|---|
| Status | Active |
| Effective start/end date | 1/12/20 → 30/06/23 |
Funding
- European Commission
PERFORMINGRAIL: PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling
- Roberts, Clive (Co-Investigator)
- Chen, Lei (Principal Investigator)