لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
محمد ایزدی
علی موقر
همایون موتمنی
بابک شیرازی
هدیه وکیل التجار
حسن حقیقی
نتایج 1 تا 10 از مجموع 13
1
2
مقاله کنفرانسی
مروری بر کاربرد درستی یابی در سیستم های سایبر فیزیکی
نویسندگان:
اشکان قلیچ خانی
،
هدیه وکیل التجار
،
پوریا خان زادی
سال انتشار 1400
محل انتشار:
چهارمین کنفرانس ملی فناوریهای نوین در مهندسی برق و کامپیوتر
تعداد صفحات:
11
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارزیابی منطقی و صوری یک پروتکل احراز هویت برای شهرهای هوشمند
نویسندگان:
فاطمه محمدحسینی
،
حسین محمدی نژاد
سال انتشار 1398
محل انتشار:
پنجمین کنفرانس ملی مهندسی برق و مکاترونیک ایران
تعداد صفحات:
13
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
درستی یابی خودکار عملکرد دستگاه تنظیم ضربان قلب با استفاده از مدل چکر SMV
نویسندگان:
فاطمه زاهدنژاد
،
احمد شریف
سال انتشار 1396
محل انتشار:
دومین کنفرانس ملی تحقیقات بین رشته ای در مهندسی کامپیوتر، برق، مکانیک و مکاترونیک
تعداد صفحات:
11
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
تولید پایشگر درستی یابی زمان اجرای نیازمندی های ایمنی سیستم های واکنشی با استفاده ازشبکه های پتری رنگی زمان دار
نویسندگان:
ایمان کاظمینی مقدم
،
بابک شیرازی
،
خلیل شاکری
،
همایون موتمنی
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی یافته های نوین پژوهشی درمهندسی برق و علوم کامپیوتر
تعداد صفحات:
21
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارائه روشی برای توصیف و درستی یابی پایگاه داده ها با استفاده از Object-Z
نویسندگان:
سیده زهرا سجادی
،
حسن حقیقی
سال انتشار 1394
محل انتشار:
هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
بررسی رفتاری ترکیب وب سرویس ها با روشهای فرمال
نویسندگان:
حسام فولادوند
،
سیدعبدالمجید موسوی
،
وحید رافع
سال انتشار 1390
محل انتشار:
دومین کنفرانس ملی محاسبات نرم و فن آوری اطلاعات
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
بررسی درستی یابی ترکیب معنایی وب سرویس ها
نویسندگان:
حسام فولادوند
،
سیدعبدالمجید موسوی
،
وحید رافع
سال انتشار 1390
محل انتشار:
اولین همایش تخصصی سیستمهای هوشمند کامپیوتری و کاربردهای آنها
تعداد صفحات:
11
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
مدلسازی و تحلیل کمی پروتکلهای امنیتی مبتنی بر بررسی مدل احتمالی و ابزار PRISM
نویسندگان:
مجتبی اکبرزاده
،
محمد عبداللهی ازگمی
سال انتشار 1388
محل انتشار:
ششمین کنفرانس بین المللی انجمن رمز ایران
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
مدل سازی صوری و درستی یابی احتمالی یک سیستم هشدار نفوذ در شبکه های حسگر بی سیم
نویسندگان:
علی خلیلی
،
محمد عبداللهی ازگمی
سال انتشار 1386
محل انتشار:
سومین کنفرانس بین المللی فناوری اطلاعات و دانش
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
رویکردی تازه بهدرستی یابی ویژگیهای توصیف شده در حساب : Mu استفاده از نظریه خودکار ها
نویسندگان:
محمد ایزدی
،
علی موقر
سال انتشار 1381
محل انتشار:
هشتمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
نتایج 1 تا 10 از مجموع 13
1
2