Adriano Gomes

According to our database1, Adriano Gomes authored at least 4 papers between 2010 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Pah Pum: A project management tool based on TAKT PM.
Proceedings of the SBES '20: 34th Brazilian Symposium on Software Engineering, 2020

2012
Constructive model-based analysis for safety assessment.
Int. J. Softw. Tools Technol. Transf., 2012

2010
Evolving a Safe System Design Iteratively.
Proceedings of the Computer Safety, 2010

Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010


  Loading...