Sign in

Formal Modelling, Analysis and Verification of Hybrid Systems.

Naijun ZhanShuling WangHengjun Zhao
Published in: ICTAC Training School on Software Engineering (2013)
Keyphrases
  • hybrid systems
  • neural network
  • learning algorithm
  • knowledge base
  • artificial neural networks
  • multi class
  • black box