Shift2Rail JU call proposals 2019 · Demonstrator development for the use of Formal Methods in railway environment and Support to implementation of CSIRT to the railway sector · Opportunity · GRANTIBASE · GRANTIBASE