A CEGAR Scheme for Information Flow Analysis.

Manuel Töws Heike Wehrheim

Published in: ICFEM (2016)

Keyphrases

flow analysis
domain knowledge
information flow
keywords
end users
contextual information
information overload
real time
knowledge base
image retrieval