Document - Advanced integrated evaluation of railway systems

2024

Journal article Open Access

Advanced integrated evaluation of railway systems

Davide Basile, Maurice Ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi

Integrated evaluation Railway system

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

Source: ERCIM NEWS, pp. 53-54

Back to previous page

Cite as

BibTeX entry

@article{oai:iris.cnr.it:20.500.14243/480081,
	title = {Advanced integrated evaluation of railway systems},
	author = {Davide Basile and Maurice Ter Beek and Felicita Di Giandomenico and Laura Carnevali and Alessandro Fantechi},
	year = {2024}
}