سامانه مدیریت امور پژوهشی دانشگاه اراک | صمد نجاتیان

نام و نام خانوادگی	صمد نجاتیان
شغل	عضو هیئت علمی سایر دانشگاه‌های کشور
تحصیلات	کارشناسی ارشد / مهندسی کامپیوتر
وبسایت
پست الکترونیک	—

	عنوان	مجله
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