مدلسازي و درستييابي سيستمهاي اكتور زماندار با بازههاي زماني
/ شقايق توسلي
مدلسازي و درستييابي سيستمهاي اكتور زماندار با بازههاي زماني
نویسنده
/ شقايق توسلينسخه 1
فهرست
شناسنامه
سرشناسه
توسلي، شقايق، نویسندهعنوان و نام پدیدآور
مدلسازي و درستييابي سيستمهاي اكتور زماندار با بازههاي زماني / / شقايق توسليمشخصات ظاهری
79 ص.؛ : تصوير، جدول.موضوع
سيستمهاي بيدرنگبازههاي زماني
روشهاي صوري
درستييابي
مدل اكتور
زبان
فارسی