PERFORMINGRAIL: PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling

  • Roberts, Clive (Co-Investigator)
  • Chen, Lei (Principal Investigator)

Project Details

Short titlePERFORMINGRAIL: PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling
StatusFinished
Effective start/end date1/12/20 → 30/06/23

Funding

  • European Commission