Henrique Masini

According to our database, Henrique Masini authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests.

Bruno Miranda, Henrique Masini, Rodrigo Reis

Proceedings of the FM 2015: Formal Methods, 2015