مدل‌سازی و درستی‌سنجی سازوکارهای ترمیم در سیستم های توزیع شده

Author

Edition 1

list

شناسنامه

Main Entry

عبدی زرویجانی، محمدحسین، پایان نامه نویس، نویسنده

Title and Author

مدل‌سازی و درستی‌سنجی سازوکارهای ترمیم در سیستم های توزیع شده / محمدحسین عبدی زرویجانی

Physical Description

ح، 125ص.؛ جدول، نمودار، تصویر، پیوست.

Subject

سیستم های توزیع شده
درستي‌يابي صوري
وارسي مدل
مدل اکتور
Model checking
Formal verification

Language

فارسی