Login / Signup
From Event-B to Verified C via HLL.
Ning Ge
Arnaud Dieumegard
Eric Jenn
Laurent Voisin
Published in:
CoRR (2016)
Keyphrases
</>
event detection
news articles
event driven
event recognition
data mining
genetic algorithm
e learning
digital libraries
probabilistic model
event sequences