فهرس المقالات Formal Specification

• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  1 - An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems
  Mahboubeh Samadi حسن حقیقی
  10.7508/jist.2014.01.002
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  2 - تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده‌محور
  علی حبیبی رامتین خسروی