Sign in

Validated Simulation-Based Verification of Delayed Differential Dynamics.

Mingshuai ChenMartin FränzleYangjia LiPeter Nazier MosaadNaijun Zhan
Published in: FM (2016)
Keyphrases
  • dynamical systems
  • genetic algorithm
  • dynamic model
  • information systems
  • model checking
  • knowledge base
  • neural network
  • machine learning
  • search engine
  • case study
  • verification method