Building Specifications in the Event-B Institution.

Marie Farrell Rosemary Monahan James F. Power

Published in: CoRR (2021)

Keyphrases

event detection
artificial intelligence
higher education
machine learning
event driven
event recognition
real time
databases
neural network
information retrieval
case study
multiscale
query processing
news articles