One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches

   page       BibTeX_logo.png   
Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
ACM Computing Surveys 43(2), pp. 7:1-7:36
gennaio 2011
parole chiaveProtocol validation, wireless self-organizing networks
rivista o collana
book ACM Computing Surveys (CSUR)