لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
حسن حقیقی
مقاله ژورنالی
درستی سنجی صوری معماری مدیریت توان در سطح سیستم برای پردازنده های مدرن
نویسندگان:
سید رضا شرفی نژاد
،
بیژن علیزاده
سال انتشار 1400
محل انتشار:
فصلنامه مهندسی برق و الکترونیک ایران شماره 4، دوره 18
تعداد صفحات:
12
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols
نویسندگان:
Hamid Reza Mahrooghi
،
Rasool Jalili
سال انتشار 1398
محل انتشار:
مجله محاسبات و امنیت شماره 1، دوره 6
تعداد صفحات:
18
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
a bio-inspired self -configuring observer/controller for organic computing systems
نویسندگان:
ali Tarihi
،
Hassan Haghighi
،
Fereidoon Shams Aliee
سال انتشار 1395
محل انتشار:
فصلنامه سیستم های اطلاعاتی و مخابرات شماره 3، دوره 4
تعداد صفحات:
11
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
Web Service Choreography Verification Using Z Formal Specification
نویسندگان:
y Rastegari
،
z Sajadi
،
f shams
سال انتشار 1395
محل انتشار:
ماهنامه بین المللی مهندسی شماره 11، دوره 29
تعداد صفحات:
9
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Accelerating of Modified Policy Iteration in Probabilistic Model Checking
نویسندگان:
Mohammadsadegh Mohagheghi
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی یافته های نوین پژوهشی در علوم،مهندسی و فناوری با محوریت پژوھشھای نیاز محور
تعداد صفحات:
6
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Reliability in modeled systems using formal methods
نویسندگان:
Somayeh Azizi
،
Naser Nematbakhsh
سال انتشار 1394
محل انتشار:
سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات
تعداد صفحات:
8
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Verification of a Smart Card-Based Remote User Authentication Protocol Using Strand Space Model
نویسندگان:
Rahim Samei
،
Javad Mohajeri
سال انتشار 1389
محل انتشار:
هفتمین کنفرانس انجمن رمز ایران
تعداد صفحات:
8
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Improving Logic-Level Representation of BMD/TED Diagrams
نویسندگان:
Pejman Lotfi-Kamran
،
Hamid Shojaei
،
Hadi Parandeh-Afshar
،
Mostafa Naderi
سال انتشار 1384
محل انتشار:
سیزدهمین کنفرانس مهندسی برق ایران
تعداد صفحات:
60
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
روش جدید محاسبه میزان پوشش در ارزیابی رسمی سیستم های سخت افزاری
نویسندگان:
مجید نبی
،
حمید شجاعی
،
زین العابدین نوابی
سال انتشار 1386
محل انتشار:
پانزدهیمن کنفرانس مهندسی برق ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت