Skip to Content

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

   page       BibTeX_logo.png       attach   
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
book ACM Computing Surveys (CSUR)

One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
— stato
pubblicato
— tipo
articolo in rivista
chi
— autori
Aline Carneiro Viana  •  Stephane Maag  •  Fatiha Zaidi
dove e quando
— data di pubblicazione
gennaio 2011
— rivista
ACM Computing Surveys
— volume n.
43
— numero
2
— pagine
7:1–7:36
— numero di pagine
36
— editore
ACM
allineamento BibTeX
— indirizzo
New York, NY, USA
URL
URL
— DOI
10.1145/1883612.1883614
ISBN & ISSN
— ISSN
0360-0300
APICe
— rivista o collana
ACM Computing Surveys