Login / Signup

Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks.

Richard BanachMichael J. Butler
Published in: ICFEM (2016)
Keyphrases
  • hybrid systems
  • neural network
  • discrete event
  • data mining
  • computational intelligence