Learn and Test for Event-B - A Rodin Plugin.

Ionut Dinca Florentin Ipate Laurentiu Mierla Alin Stefanescu

Published in: ABZ (2012)

Keyphrases

event detection
artificial intelligence
neural network
decision trees
database
databases
computer vision
information systems
knowledge base
web services
information extraction
statistically significant
temporal patterns