Formal Event-B Modeling of the MICONIC Application.

Sabrine Ammar Mohamed Tahar Bhiri

Published in: SoMeT (2021)

Keyphrases

artificial intelligence
expert systems
modeling method
real time
machine learning
learning algorithm
computer vision
case study
event detection
formal model