Login / Signup
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