Researchers from the Software Technologies Lab (STLAB) of the University of Florence and the two research labs Formal Methods and Tools (FMT) and Software Engineering and Dependable Computing (SEDC) of CNR-ISTI join forces to work on innovative solutions for the evaluation of railway systems. The research is conducted in the context of the national project ADVENTURE funded by the Italian Ministry for Universities and Research (MUR) under the program for Projects of National Interest (PRIN).
Advanced integrated evaluation of railway systems
Davide Basile;Maurice ter Beek
;Felicita Di Giandomenico;
2024
Abstract
Researchers from the Software Technologies Lab (STLAB) of the University of Florence and the two research labs Formal Methods and Tools (FMT) and Software Engineering and Dependable Computing (SEDC) of CNR-ISTI join forces to work on innovative solutions for the evaluation of railway systems. The research is conducted in the context of the national project ADVENTURE funded by the Italian Ministry for Universities and Research (MUR) under the program for Projects of National Interest (PRIN).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ERCIM News 137.pdf
accesso aperto
Descrizione: Advanced Integrated Evaluation of Railway Systems
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
399.14 kB
Formato
Adobe PDF
|
399.14 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
