دانلود فهرست مقالات نویسنده (.xls)
دانلود فهرست مقالات نویسنده (.ris)
-
1.
Writer : پرتابیان، جعفر ؛ پروین، حمید ؛ نجاتیان، صمد ؛ باقریفرد، کرمالله ؛ Corresponding Author : رافع، وحید ؛
Journal:پردازش علائم و دادهها»بهار 1401 - شماره 51 (14 page(s) - From 167 to 180 )
Keywords:انفجار فضای حالتوارسی مدلتایید سامانههای نرمافزاریجستجوی هوشمندکشف دانشKnowledge discoverySoftware systems verificationState space explosionintelligent search