Opendata, web and dolomites
H2020 projects about "formalmethods"
The page lists 1 projects related to the topic "formalmethods".
| # | |||
|---|---|---|---|
| 1 | 4SECURAIL | FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR | 2019 |
The page lists 1 projects related to the topic "formalmethods".
| # | |||
|---|---|---|---|
| 1 | 4SECURAIL | FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR | 2019 |