لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
امین فرح بخش طولی
زهرا کرباسی معروف
محمد ایزدی
رسول جلیلی
حمیدرضا محروقی
سیدحسن میریان حسین آبادی
نتایج 1 تا 10 از مجموع 11
1
2
مقاله کنفرانسی
بررسی اهمیت روشهای صوری در حوزه ی مهندسی کامپیوتر و تحلیل و توصیف مساله ربات آتش نشان با استفاده از روش صوری منطق شناختی
نویسندگان:
زهرا کرباسی معروف
،
حسن شاکری
،
حمیدرضا محروقی
سال انتشار 1398
محل انتشار:
چهارمین کنفرانس بین المللی پژوهش در علوم و مهندسی
تعداد صفحات:
13
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
وارسی و اعتبارسنجی خودکار نمودارهای فعالیت زبان مدل سازی یکنواخت
نویسندگان:
سمیه عزیزی
،
کیوان محبی
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی پژوهش های کاربردی در فناوری اطلاعات، کامپیوتر ومخابرات
تعداد صفحات:
15
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
راهبردهای بهبودی برای توصیف صوری جهت جلوگیری ازخطاهای سیستم های C4I با دیدگاه تحلیل SWOT
نویسندگان:
میلاد محمدی
،
سیدمحمد قرشی
،
حسن حقیقی
سال انتشار 1391
محل انتشار:
ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران
تعداد صفحات:
10
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند
نویسندگان:
سیده سارا شریفی راد
،
سیده مریم شریفی راد
سال انتشار 1391
محل انتشار:
دومین کنفرانس ملی مهندسی نرم افزار دانشگاه آزاد لاهیجان
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی
نویسندگان:
علیرضا روحی
،
سیدحسن میریان حسین آبادی
سال انتشار 1383
محل انتشار:
دهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
مجتمع سازی روشهای صوری: رویکردی یکپارچه در به کارگیری روشهای صوری برای سیستمهای شی گرا و مبتنی بر اجزا
نویسندگان:
محمد ایزدی
،
علی موقررحیم آبادی
سال انتشار 1383
محل انتشار:
دهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
تحلیل صوری ویژگی وارسی پذیری میکس نت با استفاده از حساب پی کاربردی
نویسندگان:
بنیامین تختایی
،
حمیدرضا محروقی
،
رسول جلیلی
سال انتشار 1390
محل انتشار:
هشتمین کنفرانس انجمن رمز ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
کاربرد روشهای صوری درطراحی سیستمهای عامل و توصیف صوری یک سیستم زمان بند
نویسندگان:
امین فرحبخش طولی
،
جواد اسدی
سال انتشار 1390
محل انتشار:
چهاردهمین کنفرانس دانشجویی مهندسی برق کشور
تعداد صفحات:
13
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
روشهای صوری راهی فراروی مهندسی نرم افزار
نویسندگان:
جواد اسدی
،
امین فرحبخش طولی
سال انتشار 1390
محل انتشار:
اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهایهمروند
نویسندگان:
حسن حقیقی
،
سیده سارا شریفی راد
سال انتشار 1390
محل انتشار:
اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
نتایج 1 تا 10 از مجموع 11
1
2