Skip to main content

Programme Category

Programme

Article available in the folowing 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).