پیام خود را بنویسید
بارکد
شماره پایان نامه
5173
پدیدآور
ابوالحسن زاده، بهاره Abolhasanzadeh, Bahareh
عنوان فارسی
مدل سازی سیستم های خودسازمانده توزیع شده با استفاده از مدل PobSAM
عنوان انگلیسی
Modeling Distributed Self-Organizing Systems By Means of PobSAM
عنوان به زبان دیگر
استاد راهنما
جلیلی، سعید Jalili, Saeed --
استاد مشاور
مقدم، نصرالله Moghaddam, Nasrollah --
مقطع تحصیلی
کارشناسی ارشد
دانشکده
مهندسی برق و کامپیوتر
دپارتمان یا گروه
الکترونیک
رشته تحصیلی
مهندسی برق ، الکترونیک
تاریخ دفاع
1390/11
زبان متن
فارسی
زبان چکیده
فارسی
انگلیسی
مشخصات ظاهری
دارای جدول
دارای نمودار
تعداد صفحات
124
واژه‌های کلیدی به فارسی
مدل سازی سیستم خودسازمان ده تصدیق رسمی مدل سازی تصدیق زمان اجرا مدل پی او بی اس ا ام
واژه‌های کلیدی به انگلیسی
PobSAM model Formal verification Runtime verification
واژه‌های کلیدی به زبان دیگر
فایل چکیده
فایل اصلی
اعضای دانشگاه تربیت مدرس با ورود نام کاربری و رمز عبور ایمیل دانشگاه دسترسی مجاز خواهند داشت.
ورود خودکار
دفعات مشاهده: 177 بار