Multi-resolution-Modeling for Testing and Evaluation of VANET Applications | IEEE Conference Publication | IEEE Xplore