PERFORMINGRAIL
Shift2RailPERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling
S2R-OC-IP2-01-2020
Période
2020 – 2023 · upcoming
Coordinateur
THE UNIVERSITY OF BIRMINGHAM
Financement UE
1 340 000 €
PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling
S2R-OC-IP2-01-2020