فا   |   En
ورود به سایت
مشاهده‌ مشخصات مقاله

VHDL Based Symbolic Model Checker with Improved CTL Property Language

نویسنده (ها)
  • Hamid Shojai
  • Hadi Parandeh Afshar
  • Zainalabedin Navabi
مربوط به کنفرانس نهمین کنفرانس سالانه انجمن کامپیوتر ایران
چکیده
قیمت
  • برای اعضای سایت : ۱٠٠,٠٠٠ ریال
  • برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
  • برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال

خرید مقاله