Analysis of DSR Protocol in Event-B.

Dominique Méry Neeraj Kumar Singh

Published in: SSS (2011)

Keyphrases

data sets
lightweight
event detection
colored petri nets
data mining
machine learning
computer vision
case study
quantitative analysis