Felipe Ferri

According to our database1, Felipe Ferri authored at least 3 papers between 2010 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...