نام و نام خانوادگی محمد یثربی شغل دانشجو سایر دانشگاههای کشور تحصیلات دکترای تخصصی / مهندسی کامپیوتر وبسایت پست الکترونیک — مقاله چاپشده مقاله ارائهشده کتاب پایان نامه های تقاضا محور و غیر تقاضا محور طرح پژوهشی خاتمهیافته افتخارات و جوایز استانی، کشوری و بینالمللی ابداع عنوانمجله 1 An efficient approach to state space management in model checking of complex software systems using machine learning techniques journal of intelligent and fuzzy systems