عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
IR
۱۷۲۸پ
فارسی
IR
ارائه راه کاری برای بهینه سازی فرابند وارسی مدل از طریق تکنیک های زمان کامپایل درسیستمهای توصیف شده با ماشین زماندار
[پایان‌نامه]
/محمد خدادادی
: فنی مهندسی
، ۹۳
چاپی
کتابنامه ص: ۵۳-۵۶
کارشناسی ارشد
کامپیوتر
اراک
ماشین زمانداراز جمله ابزارهای وارسی مدل استکه برای وارسی سیستم های بالادرنگ مورداستفاده قرار میگیرد .
خدادادی، محمد
ایران
دانشگاه اراک
com 31 93
محل نگهداری: بخش مرجع کتابخانه مرکزی دانشگاه اراک
نمایه‌سازی قبلی
p
TF
1
a
Y
