A Lightweight Technique for Distributed and Incremental Program Verification.

Martin Brain Florian Schanda

Published in: VSTTE (2012)

Keyphrases

lightweight
wireless sensor networks
cooperative
data collection
communication infrastructure
dos attacks
distributed systems
peer to peer
data driven
wireless networks
mobile agents
incremental learning
rfid tags