Skip to main content

Programme Category


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).