نام و نام خانوادگی صمد نجاتیان شغل عضو هیئت علمی سایر دانشگاههای کشور تحصیلات کارشناسی ارشد / مهندسی کامپیوتر وبسایت پست الکترونیک — مقاله چاپشده مقاله ارائهشده کتاب پایان نامه های تقاضا محور و غیر تقاضا محور طرح پژوهشی خاتمهیافته افتخارات و جوایز استانی، کشوری و بینالمللی ابداع عنوانمجله 1 Checking Reachability Property in Complex Concurrent Software Systems with a Knowledge Discovery Approach Journal of Soft Computing and Information Technology (JSCIT) 2 An efficient approach to state space management in model checking of complex software systems using machine learning techniques journal of intelligent and fuzzy systems 3 An approach based on knowledge exploration for state space management in checking reachability of complex software systems SOFT COMPUT