Modelling Hybrid Programs with Event-B.

Meryem Afendi Régine Laleau Amel Mammar

Published in: ABZ (2020)

Keyphrases

event detection
computer vision
learning algorithm
artificial intelligence
hybrid learning
programming environment
event recognition
abnormal events
information systems
search algorithm
event driven
control structures
hybrid approaches
events occurring