وارسی مدل برای شبکه فعالیت دستگاه‌های بی‌درنگ و خودمختار

Author

Edition 1

list

شناسنامه

Main Entry

پژوهان‌پناه، رضا، پایان نامه نویس، نویسنده

Title and Author

وارسی مدل برای شبکه فعالیت دستگاه‌های بی‌درنگ و خودمختار / رضا پژوهان‌پناه

Physical Description

ز، 96ص.؛ جدول، نمودار، تصویر.

Subject

وارسي مدل
سیستم های بلادرنگ
سیستم های خودمختار
مدل سازي فعاليت مبنا
فضای حالت
Activity - based modeling
Model Checking

Language

فارسی