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

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

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

بارکد

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

6763

پدیدآور

عنوان فارسی

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

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

Model Checking and Runtime Verification of Pacemaker Safety Properties

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

استاد راهنما

استاد مشاور

مقطع تحصیلی

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

دانشکده

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

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

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

رشته تحصیلی

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

تاریخ دفاع

1394/4

زبان متن

فارسی

زبان چکیده

فارسی

انگلیسی

مشخصات ظاهری

دارای جدول

تعداد صفحات

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

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

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

فایل اصلی

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