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

Project Details

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