Login / Signup

Contract-based verification of discrete-time multi-rate Simulink models.

Pontus BoströmJonatan Wiik
Published in: Softw. Syst. Model. (2016)
Keyphrases
  • probabilistic model
  • model selection
  • statistical model
  • statistical models
  • face verification
  • neural network
  • genetic algorithm
  • supply chain
  • machine learning algorithms
  • fault detection