Developing Topology Discovery in Event-B.

Thai Son Hoang Hironobu Kuruma David A. Basin Jean-Raymond Abrial

Published in: IFM (2009)

Keyphrases

knowledge discovery
database
data mining
event recognition
information retrieval
databases
machine learning
case study
multi agent
pattern discovery
event driven
information discovery
topology preservation