Sign in

Simulink Timed Models for Program Verification.

Ana CavalcantiAlexandre MotaJim 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