Skip to main content
European Commission logo print header

Programme Category


Article available in the following languages:


Demonstrator development for the use of Formal Methods in railway environment and Support to implementation of CSIRT to the railway sector


For the full topic description, please refer to Annex II of the 2019 Annual Work Plan (2019 Call for proposals for non-JU members).