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

VHDL Based Symbolic Model Checker with Improved CTL Property Language

Authors
  • Hamid Shojai
  • Hadi Parandeh Afshar
  • Zainalabedin Navabi
Conference نهمین کنفرانس سالانه انجمن کامپیوتر ایران
Abstract
قیمت
  • برای اعضای سایت : 100,000 Rial
  • برای دانشجویان عضو انجمن : 20,000 Rial
  • برای اعضای عادی انجمن : 40,000 Rial

خرید مقاله