The Coverage Configuration Protocol under AT-Dist Localization.

Imen Mahjri Amine Dhraief Issam Mabrouki Abdelfettah Belghith Khalil Drira

Published in: ANT/SEIT (2014)

Keyphrases

coloured petri nets
accurate localization
lightweight
localization algorithm
network protocols
formal analysis
cryptographic protocols
optimal configuration
source localization
localization error
genetic algorithm
object localization
communication protocol
optic disc
trusted third party