Login / Signup
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests.
Bruno Miranda
Henrique Masini
Rodrigo Reis
Published in:
FM (2015)
Keyphrases
</>
functional requirements
engineering design
case study
control system
low cost
building blocks
embedded systems
design goals
data sets
design choices
design criteria
detailed design