Cristina Belviso

According to our database, Cristina Belviso authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Validation of a Simulation Algorithm for Safety-Critical Human Multitasking.

Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019