A Formal Model for Interaction Specification and Analysis in IoT Applications.

Souad Marir, Faiza Belala, Nabil Hameurlain

Browse the full MEDI paper archive.