Identifying and verifying clock synchronization protocol parameters.

Sho Fujita Kenji Ooishi Yosuke Ishii Masato Yamaji

Published in: IoTSP@CoNEXT (2011)

Keyphrases

chaotic systems
high speed
maximum likelihood
parameter estimation
parameter space
lightweight
wireless networks
formal analysis
coloured petri nets