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

Bruno Miranda, Henrique Masini, Rodrigo Reis

Browse the full FM paper archive.