فهرس المقالات formal specification

• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  1 - تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده‌محور
  علی حبیبی رامتین خسروی