Blockchain-Based Formal Model for Food Supply Chain Management System Using VDM-SL[J] SUSTAINABILITY 2022(14) Hameed, Hira Zafar, Nazir Ahmad Alkhammash, Eman H. Hadjouni, Myriam
Blockchain-Based Formal Model for Food Supply Chain Management System Using VDM-SL[J] SUSTAINABILITY 2022(14) Hameed, Hira Zafar, Nazir Ahmad Alkhammash, Eman H. Hadjouni, Myriam
Secure Message Handling in Vehicular Energy Networks Using Blockchain and Artificially Intelligent IPFS[J] IEEE ACCESS 2022(10) Javed, Muhammad Umar Jamal, Abid Alkhammash, Eman H. Hadjouni, Myriam Bahaj, Saeed Ali Javaid, Nadeem