Applying Lightweight Formal Approach to Automatic Configuration Inspection.

Sachoun Park Gihwon Kwon

Published in: SEKE (2011)

Keyphrases

lightweight
wireless sensor networks
semi automatic
fully automatic
dos attacks
formal model
mobile devices
web applications
similarity search
communication networks
formal methods
development environments