لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
بهروز مینایی بیدگلی
سید مرتضی بابامیر
نتایج 1 تا 10 از مجموع 19
1
2
مقاله ژورنالی
Accelerating Iterative Methods for Bounded Reachability Probabilities in Markov Decision Processes
نویسندگان:
Mohammadsadegh Mohagheghi
سال انتشار 1400
محل انتشار:
مجله مهندسی کامپیوتر و دانش شماره 2، دوره 3
تعداد صفحات:
7
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه
نویسندگان:
رضا رافع
،
فاطمه یوسفی فرد
،
سیده زینب حسینی کب
سال انتشار 1394
محل انتشار:
مجله علمی پژوهشی دانشگاه علوم پزشکی ایلام شماره 3، دوره 23
تعداد صفحات:
13
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
نویسندگان:
N. Rezaee
،
H. Momeni
سال انتشار 1399
محل انتشار:
مجله هوش مصنوعی و داده کاوی شماره 2، دوره 8
تعداد صفحات:
11
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
Formal Method in Service Composition in Heath Care Systems
نویسندگان:
Zahra Baatmaanghelich
،
Ali Rezaee
،
Sahar Adabi
سال انتشار 1397
محل انتشار:
مجله پیشرفت در مهندسی کامپیوتر و فناوری شماره 1، دوره 4
تعداد صفحات:
6
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Towards automatic generation of formal specifications for UML consistency verification
نویسندگان:
Mohammadreza Sharbaf
،
Bahman Zamani
،
Behrouz Tork Ladani
سال انتشار 1394
محل انتشار:
دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری
تعداد صفحات:
6
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems
نویسندگان:
Behzad Soleimani Neysian
،
Seyed Morteza Babamir
سال انتشار 1394
محل انتشار:
دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری
تعداد صفحات:
6
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Improving Verification of Dense Markov Decision Processes
نویسندگان:
Mohammadsadegh Mohagheghi
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی یافته های نوین پژوهشی در علوم،مهندسی و فناوری با محوریت پژوھشھای نیاز محور
تعداد صفحات:
7
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Accelerating of Modified Policy Iteration in Probabilistic Model Checking
نویسندگان:
Mohammadsadegh Mohagheghi
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی یافته های نوین پژوهشی در علوم،مهندسی و فناوری با محوریت پژوھشھای نیاز محور
تعداد صفحات:
6
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارائه پیشنهادی جهت بررسی نرم افزار های ایمنی -بحرانی
نویسندگان:
بابک صفابهار
،
بهروز مینایی
سال انتشار 1394
محل انتشار:
سومین همایش ملی کامپیوتر
تعداد صفحات:
9
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
وارسی پردازنده خط لوله شده دارای قابلیت پردازش خارج از ترتیب و حدس پرش به روش model checking
نویسندگان:
علیرضا عبداله پوری
،
محمدکاظم اکبری
سال انتشار 1383
محل انتشار:
دهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
نتایج 1 تا 10 از مجموع 19
1
2