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

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - A Bio-Inspired Self-configuring Observer/ Controller for Organic Computing Systems
  Ali Tarihi Hassan Haghighi Fereidoon  Shams Aliee
  10.7508/jist.2016.03.001