3 مقاله با این کلمه کلیدی منتشر شده است. کلمه کلیدی : model checking تعداد محقق : 9 مقالات رویدادها : 3 مقاله مقالات ژورنال ها : 0 مقاله تاریخچه تمام جستجوها : 543 جستجو تاریخ انتشار عنوان مقاله رویداد ژورنال محبوبترین مقاله زبان مقاله a decidability result for the model checking of infinite-state systems Event : journal of automated reasoning 2013 0 0 744 قیمت : رایگان مشاهده و دریافت مقاله کامل email fi identification and resolution with model checking Event : journal of network and computer applications 0 0 710 قیمت : رایگان مشاهده و دریافت مقاله کامل improving active mealy machine learning for protocol conformance testing Event : machine learning 2013 0 0 1064 قیمت : رایگان مشاهده و دریافت مقاله کامل
مقالات جدیدترین رویدادها استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان) بررسی روش های مختلف محاسبه ضریب کاهش بر اثر شکل پذیری rμ طراحی و برنامه نویسی نرم افزار geocomputer 1.0 kinetic study of tetracycline adsorption on sludge-derived adsorbents in aqueous phase nonce words show that russian yer alternations are governed by the grammar nanosized gold-catalyzed selective oxidation of alkyl-substituted benzenes and n-alkanes مقالات جدیدترین ژورنال ها مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان) بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان) فراترکیب مدل یکپارچه مدیریت استعداد بررسی میزان تاثیر آمیخته بازاریابی پایدار و حمایت مصرف کننده برای توسعه کسب و کار تحلیل فقهی و حقوقی ضمان معاوضی در تفاسخ یا اقاله در حقوق ایران تبیین ارائه مدلی برای ویژگی های شرکت و اثربخشی کمیته حسابرسی a review on ammono-carbonation reactions: focusing on the merseburg process