About
Interesting shortcuts
Programmes and Partnerships
Search
European Partnerships
EU-Programme-Call
Projects
Projects
Resources
Resources
www.decubber.com
Login
Programmes and Partnerships
EU-Programme-Call
Horizon 2020
H2020-EU.3. SOCIETAL CHALLENGES
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
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
Mapped projects (1)
No additional information available