Author Info
Name
Affiliation
Papers
ADRIANO GOMES
Centro de Informática, Universidade Federal de Pernambuco
3
Collaborators
Citations 
PageRank 
7
20
1.46
Referers 
Referees 
References 
34
85
52
Title
Citations
PageRank
Year
Constructive model-based analysis for safety assessment.30.392012
Evolving a safe system design iteratively80.532010
Systematic model-based safety assessment via probabilistic model checking90.542010