HIT RAIL BV
Desconocido
4SECURAIL: FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR
HIT RAIL BV
participó en un
H2020
H2020-S2RJU-2019
"The 4SECURail proposal addresses the Open Call S2R-OC-IP2-2019 ""Demonstrator development for the use of Formal Methods in railway environm...
2019-11-29 - 2021-11-30 | Financiado
2019-11-29 - 2021-11-30 | Financiado
ST4RT: Semantic Transformations for Rail Transportation
HIT RAIL BV
participó en un
H2020
H2020-S2RJU-2016-01
The objective of the proposal is research in semantic, ontology based automation of transformations between heterogeneous data formats, and...
2016-10-27 - 2018-10-31 | Financiado
2016-10-27 - 2018-10-31 | Financiado
* No se disponen de datos de la empresa actual.