Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application.

Maissa Elleuch, Osman Hasan, Sofine Tahar, Mohamed Abid

Browse the full VECoS paper archive.