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).

Sustainable mobility: increase of capacity and digitisation of railway transport

Davide Basile
Writing – Review & Editing
;
Maurice ter Beek
Writing – Original Draft Preparation
;
Alessio Ferrari
Writing – Review & Editing
2024

Abstract

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).
2024
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Predictive maintenance
Railway systems
Formal methods
File in questo prodotto:
File Dimensione Formato  
Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport.pdf

accesso aperto

Descrizione: Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport
Tipologia: Versione Editoriale (PDF)
Licenza: Creative commons
Dimensione 382.88 kB
Formato Adobe PDF
382.88 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/483781
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact