سبتمبر 29, 2023
DOI: 10.3390/electronics12194088
Publisher: MDPI
Dragana Krstic Nenad Petrovic Suad Suljovic Issam Al-Azzoni
Access Control Verification in Smart Contracts Using Colored Petri Nets
Model-Driven Approach for Generating Smart Contracts for Access Control
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 جامعة العين . جميع الحقوق محفوظة.