The ABZ-2018 Case Study with Event-B.

Jean-Raymond Abrial

Published in: ABZ (2018)

Keyphrases

case study
event detection
expert systems
lessons learned
event driven
neural network
software development
news articles
database
databases
video sequences
knowledge management
event logs
temporal events