Timed Verification of Machine-to-Machine communications.

Ghada Gharbi Nawal Guermouche Thierry Monteil

Published in: ANT/SEIT (2014)

Keyphrases

neural network
information systems
batch processing
databases
data mining
machine learning
computer vision
computational complexity
digital libraries
multiresolution
single machine
learning machines
communication patterns