H2020-EU.3.4. SOCIETAL CHALLENGES - Smart, Green And Integrated Transport
H2020-EU.3.4.8. Shift2Rail JU
H2020-EU.3.4.8.2. Innovation Programme 2: Advanced traffic management and control systems
H2020-S2RJU-OC-2019
S2R-OC-IP2-01-2019 Demonstrator development for the use of Formal Methods in railway environment and Support to implementation of CSIRT to the railway sector