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
ACM, New York, NY, USA

(keywords) Protocol validation, wireless self-organizing networks
 @article{viana-acmsurvey43,
Acmid = {1883614},
Address = {New York, NY, USA},
Author = {Viana, Aline Carneiro and Maag, Stephane and Zaidi, Fatiha},
Doi = {10.1145/1883612.1883614},
Issn = {0360-0300},
Journal = {ACM Computing Surveys},
Keywords = {Protocol validation, wireless self-organizing networks},
Month = jan,
Number = 2,
Pages = {7:1--7:36},
Publisher = {ACM},
Title = {One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches},
Url = {http://dl.acm.org/citation.cfm?doid=1883612.1883614},
Volume = 43,
Year = 2011

Tags:

Publication

— authors

Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi

— status

published

— sort

article in journal

Venue

— journal

ACM Computing Surveys

— volume

43

— issue

2

— pages

7:1-7:36

— publication date

January 2011

URLs

original page

Identifiers

— DOI

10.1145/1883612.1883614

— print ISSN

0360-0300

BibTeX

— BibTeX ID
viana-acmsurvey43
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY