Verification method of network simulation for pervasive environments.

Kyuhyung Cho Jongsung Lee Jongin Lim Jongsub Moon

Published in: SecureComm (2007)

Keyphrases

verification method
network simulator
model checking
network structure
computer networks
temporal logic
pervasive environments
databases
data analysis
peer to peer
pervasive computing
machine learning
e learning
management system
mobile phone
ubiquitous computing