عنوان پایان‌نامه

ارائه یک مدل مبتنی بر اکتور برای مدلسازی و درستی یابی سیستمهای بلادرنگ