Automatic Flow Analysis for Event-B.

Jens Bendisposto Michael Leuschel

Published in: FASE (2011)

Keyphrases

flow analysis
information flow
fully automatic
event detection
forensic analysis
database
real time
data driven
computer vision
spatio temporal
supply chain
semi automatic
event driven
event recognition