A Lightweight Container Architecture for Runtime Verification.

Hakim Belhaouari Frédéric Peschanski

Published in: RV (2008)

Keyphrases

lightweight
communication infrastructure
real time
software architecture
dos attacks
development environments
wireless sensor networks
intrusion detection
model checking
network architecture
handheld devices
management system
mobile phone
network infrastructure