A Formal Verification Model for IoT Based Applications Using Event-B.

Rihab Omri, Zinah Hussein Toman, Lazhar Hamel

Browse the full ICCCI paper archive.