وارسی مدل و راستی آزمایی حین اجرای ضوابط ایمنی

پیام خود را بنویسید

ارسال به ایمیل

بارکد

شماره پایان نامه

6730

پدیدآور

عنوان فارسی

وارسی مدل و راستی آزمایی حین اجرای ضوابط ایمنی سیستم کنترل کیسه ی هوای خودرو

عنوان انگلیسی

Model Checking and Runtime Verification of Automotive Airbag Control System Safety Properties

عنوان به زبان دیگر

استاد راهنما

استاد مشاور

مقطع تحصیلی

کارشناسی ارشد

دانشکده

مهندسی برق و کامپیوتر

دپارتمان یا گروه

مهندسی کامپیوتر

رشته تحصیلی

مهندسی کامپیوتر ، نرم افزار

تاریخ دفاع

1394/4

زبان متن

فارسی

زبان چکیده

فارسی

انگلیسی

مشخصات ظاهری

دارای تصوير

دارای جدول

تعداد صفحات

واژه‌های کلیدی به فارسی

واژه‌های کلیدی به انگلیسی

واژه‌های کلیدی به زبان دیگر

فایل اصلی

دفعات مشاهده: 170 بار