Roberto Semprini

According to our database, Roberto Semprini authored at least 1 paper in 2001.

Collaborative distances:

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

2001

Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design.

Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001