Login / Signup
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development.
Guillaume Babin
Yamine Aït Ameur
Neeraj Kumar Singh
Marc Pantel
Published in:
ABZ (2016)
Keyphrases
</>
hybrid systems
continuous functions
neural network
intelligent systems
black box
discrete event
software engineering
data mining
artificial intelligence
evolutionary algorithm
computational intelligence
development process
differential equations
meta learning