فهرست مقالات 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 - تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار
  سیدمرتضی بابامیر ویدا احمدی ثابت