Login / Signup
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation.
Amel Mammar
Meryem Afendi
Régine Laleau
Published in:
Sci. Comput. Program. (2022)
Keyphrases
</>
neural network
hybrid learning
databases
multiscale
real time
machine learning
computer vision
knowledge base
website
database systems
multi agent
spatio temporal
modeling language
fixpoint
event driven
hybrid models