Julio Buzzi

According to our database, Julio Buzzi authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2010

Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Julio Buzzi

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010