وارسی مدل برای شبکه فعالیت دستگاههای بیدرنگ و خودمختار
رضا پژوهانپناه
وارسی مدل برای شبکه فعالیت دستگاههای بیدرنگ و خودمختار
نویسنده
رضا پژوهانپناهنسخه 1
فهرست
شناسنامه
سرشناسه
پژوهانپناه، رضا، پایان نامه نویس، نویسندهعنوان و نام پدیدآور
وارسی مدل برای شبکه فعالیت دستگاههای بیدرنگ و خودمختار / رضا پژوهانپناهمشخصات ظاهری
ز، 96ص.؛ جدول، نمودار، تصویر.موضوع
وارسي مدلسیستم های بلادرنگ
سیستم های خودمختار
مدل سازي فعاليت مبنا
فضای حالت
Activity - based modeling
Model Checking
زبان
فارسی