A formal verification approach for composite smart contracts security using FSM[J] JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES 2023(35) Almakhour, Mouhamad Sliman, Layth Samhat, Abed Ellatif Mellouk, Abdelhamid
Verification of smart contracts: A survey[J] PERVASIVE AND MOBILE COMPUTING 2020(67) Almakhour, Mouhamad Sliman, Layth Samhat, Abed Ellatif Mellouk, Abdelhamid
The Narrowband Internet of Things (NB-IoT) Resources Management Performance State of Art, Challenges, and Opportunities[J] IEEE ACCESS 2020(8) Migabo, Emmanuel M. Djouani, Karim D. Kurien, Anish M.
