APICe » Publications » VianaAcmsurvey43

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

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}