فا   |   En
Login
مشاهده‌ مشخصات مقاله

Logical Languages for Specification and verification of Reactive System's Behavior

Authors
  • Ayaz Isazadeh
  • Jaber Karimpour
Conference نهمین کنفرانس سالانه انجمن کامپیوتر ایران
Abstract
قیمت
  • برای اعضای سایت : 100,000 Rial
  • برای دانشجویان عضو انجمن : 20,000 Rial
  • برای اعضای عادی انجمن : 40,000 Rial

خرید مقاله