Rodrigo Pastl Pontes
According to our database1, Rodrigo Pastl Pontes authored at least 4 papers between 2010 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Integrating model checking and model based testing for industrial software development.
Computers in Industry, 2019
Methodology for the in-process evaluation of software-based process failures in selective laser melting machine tools.
PhD thesis, 2018
Contributions of model checking and CoFI methodology to the development of space embedded software.
Empirical Software Engineering, 2014
Benchmarking Software Requirements Documentation for Space Application.
Proceedings of the Computer Safety, 2010