Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid. Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. In Mohamed Ghazel, Mohamed Jmaiel, editors, Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Volume 1689 of CEUR Workshop Proceedings, pages 43-58, CEUR-WS.org, 2016. [doi]
Abstract is missing.