سبتمبر 01, 2022
DOI: 10.1016/j.jksuci.2021.08.011
Publisher: King Saud University
Saqib Iqbal Issam Al-Azzoni
Access Control Verification in Smart Contracts Using Colored Petri Nets
Model-Driven Approach for Generating Smart Contracts for Access Control
AI-enabled framework for mobile network experimentation leveraging ChatGPT: Case study of channel capacity calculation for η-µ fading and co-channel interference
A Model-Driven Approach for Solving the Software Component Allocation Problem
A Framework for the Regression Testing of Model-to-Model Transformations
حقوق الطبع والنشر © 2026 جامعة العين . جميع الحقوق محفوظة.