A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications.

Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek

Browse the full CCGRID paper archive.