List of Articles formal methods

• Open Access Article
  • Abstract Page
  • Full-Text
  
  1 - An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems
  Mahboubeh Samadi haghighi haghighi
  10.7508/jist.2014.01.002
• Open Access Article
  • Abstract Page
  • Full-Text
  
  2 - A New Approach to the Quantitative Measurement of Software Reliability
  Abbas  Rasoolzadegan
  10.7508/jist.2015.03.005
• Open Access Article
  • Abstract Page
  • Full-Text
  
  3 - Determination of Formal Methods Capabilities for Software Specification and Analysis
  H. Banki V. Ahmadi Sabet