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