Formalizing Hybrid Systems with Event-B.

Jean-Raymond Abrial Wen Su Huibiao Zhu

Published in: ABZ (2012)

Keyphrases

hybrid systems
black box
intelligent systems
computational intelligence
neural network
meta learning
soft computing
artificial intelligence
discrete event
decision trees
machine learning
e learning
learning tasks
simulation model