مدلسازی و درستیسنجی سازوکارهای ترمیم در سیستم های توزیع شده
محمدحسین عبدی زرویجانی
مدلسازی و درستیسنجی سازوکارهای ترمیم در سیستم های توزیع شده
المؤلف
محمدحسین عبدی زرویجانیطبع 1
قائمة
شناسنامه
المدخل الرئيسي
عبدی زرویجانی، محمدحسین، پایان نامه نویس، نویسندهالعنوان واسم المؤلف
مدلسازی و درستیسنجی سازوکارهای ترمیم در سیستم های توزیع شده / محمدحسین عبدی زرویجانیالمواصفات الشكلية
ح، 125ص.؛ جدول، نمودار، تصویر، پیوست.الموضوع
سیستم های توزیع شدهدرستييابي صوري
وارسي مدل
مدل اکتور
Model checking
Formal verification
اللغة
فارسی