ديسمبر 01, 2023
DOI: 10.1109/BCCA58897.2023.10338863
Publisher: IEEE
Issam Al-Azzoni Saqib Iqbal
Access Control Verification in Smart Contracts Using Colored Petri Nets
AI-enabled framework for mobile network experimentation leveraging ChatGPT: Case study of channel capacity calculation for η-µ fading and co-channel interference
Test case prioritization for model transformations
A Model-Driven Approach for Solving the Software Component Allocation Problem
A Framework for the Regression Testing of Model-to-Model Transformations
حقوق الطبع والنشر © 2026 جامعة العين . جميع الحقوق محفوظة.