Formal Methods and CSIRT for the Railway Sector
DEMONSTRATOR DEVELOPMENT FOR THE USE OF FORMAL METHODS AND SUPPORT TO IMPLEMENTATION OF CSIRT TO THE RAILWAY SECTOR
4SECURAIL - FORmal Methods and CSIRT for the RAILway sector
Project start: 01/12/2019
Project duration: 2 years
4SECURail project received funding from the Shift2Rail Joint Undertaking (JU) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No 881775.
Ardanuy Ingeniería, S.A.
Ardanuy Ingeniería, S.A. (Spain), FIT Consulting s.r.l (Italy), Consiglio Nazionale delle Ricerche (Italy), Sirti S.p.A (Italy), HitRail (Netherlands), International Union of Railways (France), TREE Technology S.A. (Spain)