Laurent Mounier, Ludovic Samper, Wassim Znaidi. Worst-case lifetime computation of a Wireless Sensor Network by model-checking. In Fourth ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN), Chania, Greece, October 2007.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Modeling and validation of wireless sensor networks ]
@InProceedings{MounierSamperZnaidi07,
Author = {Mounier, Laurent and Samper, Ludovic and Znaidi, Wassim},
Title = {Worst-case lifetime computation of a Wireless Sensor Network by model-checking},
BookTitle = {Fourth ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN)},
Address = {Chania, Greece},
Month = {October},
Year = {2007}
}
Get EndNote Reference (.ref)