Login / Signup
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study.
Meryem Afendi
Amel Mammar
Régine Laleau
Published in:
ICECCS (2022)
Keyphrases
</>
hybrid systems
case study
black box
meta learning
neural network
intelligent systems
computational intelligence
discrete event
soft computing
artificial intelligence
software development
dynamic systems
data mining
decision trees
knowledge management