Decomposition tool for event-B.

Renato Silva Carine Pascal Thai Son Hoang Michael J. Butler

Published in: Softw. Pract. Exp. (2011)

Keyphrases

event detection
information systems
image processing
case study
software tools
decomposition algorithm
data sets
neural network
website
data streams
expert systems
spatio temporal
user interface
software engineering
events occur