Formal Analysis of an IoT-Based Healthcare Application.

Maissa Elleuch, Sofine Tahar

Browse the full ISCC paper archive.