UC-B: Use Case Modelling with Event-B.

Rajiv Murali Andrew Ireland Gudmund Grov

Published in: ABZ (2016)

Keyphrases

event detection
database
website
event recognition
databases
information systems
multiscale
search algorithm
news stories
event sequences