فهرست مقالات Model checking

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - Formal Method in Service Composition in Heath Care Systems
  Zahra Baatmaanghelich Ali Rezaee Sahar Adabi