Use Case Scenarios as Verification Conditions: Event-B/Flow Approach.

Published in: SERENE (2011)

Keyphrases

event detection
sufficient conditions
flow field
real world
flow patterns
real time
computer vision
model checking
events occurring
event logs
formal verification
event recognition
event sequences
environmental conditions
object oriented
website
information retrieval
neural network