Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi

(keywords) Protocol validation, wireless self-organizing networks
ACM Computing Surveys 43(2), pages 7:1-7:36, jan 2011, ACM, New York, NY, USA
@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

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

— status

published  

— authors

Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi

URLs & IDs

original page

— DOI

10.1145/1883612.1883614

— print ISSN

0360-0300

BibTeX

— BibTeX ID
viana-acmsurvey43
— BibTeX category
article

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