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 Ferri, Julio Buzzi

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