Matteo Tessi

According to our database, Matteo Tessi authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.

Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020