Spot the Difference: A Detailed Comparison Between B and Event-B.

Michael Leuschel

Published in: Logic, Computation and Rigorous Methods (2021)

Keyphrases

event driven
neural network
computer vision
relational databases
spatio temporal
event detection
real world
feature selection
decision trees
case study