مدلسازی و درستیسنجی سازوکارهای ترمیم در سیستم های توزیع شده
محمدحسین عبدی زرویجانی
مدلسازی و درستیسنجی سازوکارهای ترمیم در سیستم های توزیع شده
نویسنده
محمدحسین عبدی زرویجانینسخه 1
فهرست
شناسنامه
سرشناسه
عبدی زرویجانی، محمدحسین، پایان نامه نویس، نویسندهعنوان و نام پدیدآور
مدلسازی و درستیسنجی سازوکارهای ترمیم در سیستم های توزیع شده / محمدحسین عبدی زرویجانیمشخصات ظاهری
ح، 125ص.؛ جدول، نمودار، تصویر، پیوست.موضوع
سیستم های توزیع شدهدرستييابي صوري
وارسي مدل
مدل اکتور
Model checking
Formal verification
زبان
فارسی