Verification method of network simulation for pervasive environments | IEEE Conference Publication | IEEE Xplore