Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid. Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. Volume 694 of Communications in Computer and Information Science, pages 93-108, 2016. [doi]

Abstract

Abstract is missing.