Formal Verification Approach for IoT Conflict Resolution by Priority.
Saved in:
| Title: | Formal Verification Approach for IoT Conflict Resolution by Priority. |
|---|---|
| Authors: | Toman, Zinah Hussein1, zinah.hussein@qu.edu.iq |
| Source: | Journal of Qadisiyah Computer Science & Mathematics; 2026, Vol. 18 Issue 1, p1-14, 14p |
| Database: | Applied Science & Technology Source |
| ISSN: | 20740204 |
|---|---|
| DOI: | 10.29304/jqcsm.2026.18.12640 |