EB4EB: A Framework for Reflexive Event-B.

Peter Riviere Neeraj Kumar Singh Yamine Aït Ameur

Published in: ICECCS (2022)

Keyphrases

real time
artificial intelligence
lightweight
main contribution
framework enables
real world
data mining
machine learning
computer vision
decision trees
multiscale
query processing
theoretical framework
key features
conceptual framework