-
شماره ركورد
7970
-
عنوان
بررسي روش هاي درستي يابي قراردادهاي هوشمند زنجيره بلوكي
-
سال تحصيل
1399
-
استاد راهنما
دكتر محمد عبداللهي ازگمي
-
نام دانشجو
مرضيه فريدوني كلايه
-
تاريخ ارائه
12/30/2020 12:00:00 AM
-
متن كامل
69869
-
پديد آورنده
مرضيه فريدوني
-
تاريخ ورود اطلاعات
1399/10/23
-
عنوان به انگليسي
A survey on verification methods of blockchain smart contracts
-
كليدواژه هاي فارسي
قرارداد هوشمند , زنجيره بلوكي , درستي يابي
-
كليدواژه هاي لاتين
smart contract , blockchain , verification
-
لينک به اين مدرک :
