Login / Signup
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