DAA Protocol Analysis and Verification.

Yu Qin XiaoBo Chu Dengguo Feng Wei Feng

Published in: INTRUST (2011)

Keyphrases

formal analysis
image analysis
statistical analysis
colored petri nets
formal methods
sensor networks
lightweight