An Event-B Based Approach for Horizontally Scalable IoT Applications.

Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet

Browse the full ICSOC paper archive.