Verifying eventuality properties of imprecise system requirements using event-B.

Hong Anh Le Ninh-Thuan Truong Shin Nakajima

Published in: SAC (2015)

Keyphrases

database
event detection
data sets
structural properties
event recognition
feature selection
model checking
desirable properties
artificial intelligence
decision trees
multi agent systems
probabilistic model
functional requirements
topological properties
uncertain information
complex events