Rodrigo Pastl Pontes

According to our database1, Rodrigo Pastl Pontes authored at least 4 papers between 2010 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Integrating model checking and model based testing for industrial software development.
Computers in Industry, 2019

2018
Methodology for the in-process evaluation of software-based process failures in selective laser melting machine tools.
PhD thesis, 2018

2014
Contributions of model checking and CoFI methodology to the development of space embedded software.
Empirical Software Engineering, 2014

2010
Benchmarking Software Requirements Documentation for Space Application.
Proceedings of the Computer Safety, 2010


  Loading...