Julio Buzzi

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. ISoLA (1) (2010)