Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems

by Abdul Rehman, Nadeem Akhtar, Omar H. Alhazmi
Published 2021-01-01

Nature-Inspired Gravitational Search-Guided Artificial Neural Key Exchange for IoT Security Enhancement

by Arindam Sarkar, Moirangthem Marjit Singh, Mohammad Zubair Khan, Omar H. Alhazmi
Published 2021-01-01

A novel superframe structure and optimal time slot allocation algorithm for IEEE 802.15.4–based Internet of things

by Sangrez Khan, Ahmad Naseem Alvi, Mohammad Zubair Khan, Muhammad Awais Javed, Omar H Alhazmi, Safdar Hussain Bouk
Published 2020-12-01