Home
Interesting shortcuts
News Dashboard
Projects
Projects
Results, demos etc.
Results, demos etc.
Structured Wiki
Search
FoF and Made in Europe Partnership
Demonstrators, pilots, prototypes
Exploitable result(s)
Significant innovations and lessons learned, training aspects
Report - Video - Presentation - Publication....?
Project clusters
Manufacturing future products
Manufacturing performance characteristics
Technologies and enablers
ICT performance characteristics
Standards and standardisation
Contribution of R&I projects to standardisation
Regulatory and policy aspects
Standards - other classifications
Business model aspects
Pathways
MiE SRIA R&I Priorities
Public Consultation - MiE 25-27 Priorities (input is publicly available)
MiE KPIs
Relevant open calls
EU-Programme-Call
NACE code
Pathways
Pathways
Project ideas
Project ideas
People & organisations
People
Organisations
portal@effra.eu
Visit the EFFRA website
Login
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
Associated lists
In list:
EU-Programme-Call
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