Building Specifications in the Event-B Institution.

Marie Farrell Rosemary Monahan James F. Power

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

event detection
formal specification
real time
multiscale
higher education
event driven
data sets
databases
website
query processing
social media
complex events