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]

Authors

Maissa Elleuch

This author has not been identified. Look up 'Maissa Elleuch' in Google

Osman Hasan

This author has not been identified. It may be one of the following persons: Look up 'Osman Hasan' in Google

Sofiène Tahar

This author has not been identified. Look up 'Sofiène Tahar' in Google

Mohamed Abid

This author has not been identified. Look up 'Mohamed Abid' in Google