Davide Basile, Maurice Ter Beek, Alessio Ferrari
Predictive maintenance Railway systems Formal methods
Researchers from the Formal Methods and Tools (FMT) lab of CNR–ISTI work on the increase of capacity and digitisation of railway transport. The research is conducted in the context of the NextGenerationEU-funded project on “Railway Transportation” (Spoke 4), which is part of the National Centre for Sustainable Mobility (MOST).
Source: ERCIM NEWS, vol. 138, pp. 8-9
@article{oai:iris.cnr.it:20.500.14243/483781, title = {Sustainable mobility: increase of capacity and digitisation of railway transport}, author = {Davide Basile and Maurice Ter Beek and Alessio Ferrari}, year = {2024} }
CN MOST (National Sustainable Mobility Centre) Spoke 4: Rail Transportation
CN MOST (National Sustainable Mobility Centre) Spoke 4: Rail Transportation