Simulink Timed Models for Program Verification.

Ana Cavalcanti Alexandre Mota Jim Woodcock

Published in: Theories of Programming and Formal Methods (2013)

Keyphrases

statistical models
neural network
computer vision
three dimensional
model selection
decision trees
case study
similarity measure
artificial neural networks
control system
petri net
mathematical models