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), pages 7:1-7:36
January 2011
keywordsProtocol validation, wireless self-organizing networks
journal or series
book ACM Computing Surveys (CSUR)