Undertaking the tokeneer challenge in event-b.

Victor Rivera Sukriti Bhattacharya Néstor Cataño

Published in: FormaliSE@ICSE (2016)

Keyphrases

event detection
data mining
learning algorithm
case study
search algorithm
website
digital libraries
artificial neural networks
event sequences
event recognition