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

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

	عنوان	مجله
1	Checking Reachability Property in Complex Concurrent Software Systems with a Knowledge Discovery Approach	Journal of Soft Computing and Information Technology (JSCIT)
2	An approach based on knowledge exploration for state space management in checking reachability of complex software systems	SOFT COMPUT