Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Pubblicazione
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), pp. 7:1-7:36
gennaio 2011
parole chiave
Protocol validation, wireless self-organizing networks
rivista o collana
ACM Computing Surveys
(
CSUR
)