Henrique Masini

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Building Blocks

Embedded Systems

Top Venues

Publications

Bruno Miranda, Henrique Masini, Rodrigo Reis
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests. FM (2015)