An analysis framework for network-code programs.

Madhukar Anand Sebastian Fischmeister Insup Lee

Published in: EMSOFT (2006)

Keyphrases

analysis tool
static analysis
wireless sensor networks
database
image analysis
theoretical framework
network traffic
quantitative analysis