Reasoning about Liveness Properties in Event-B.

Thai Son Hoang Jean-Raymond Abrial

Published in: ICFEM (2011)

Keyphrases

real time
evolutionary algorithm
data sets
data mining
e learning
image processing
decision trees
event driven