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

ارائه يك مدل مبتني بر اكتور براي مدلسازي و درستي يابي سيستمهاي بلادرنگ