Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
Publication
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
ACM Computing Surveys
43(2), pages 7:1-7:36
January 2011
keywords
Protocol validation, wireless self-organizing networks
journal or series
ACM Computing Surveys
(
CSUR
)