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