Building Specifications in the Event-B Institution: A Summary.

Marie Farrell Rosemary Monahan James F. Power

Published in: ABZ (2023)

Keyphrases

event detection
high level
data sets
real world
website
condition action rules
real time
document summarization
soccer video
operational semantics
event sequences
event driven
formal specification
expert systems
data structure
image sequences
genetic algorithm
machine learning