Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.

Xiaowan Huang Anu Singh Scott A. Smolka

Published in: NASA Formal Methods (2010)

Keyphrases

sensor data
sensor networks
real time
multi sensor
vision sensor
neural network
data mining
data acquisition
integer valued
image capture
high sensitivity
minimum cost flow