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

• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  1 - An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems
  Mahboubeh Samadi حسن حقیقی
  10.7508/jist.2014.01.002
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  2 - A New Approach to the Quantitative Measurement of Software Reliability
  Abbas  Rasoolzadegan
  10.7508/jist.2015.03.005
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  3 - تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار
  سیدمرتضی بابامیر ویدا احمدی ثابت