انجمن کامپیوتر ایران

برای عضویت کلیک کنید

ورود | ثبت‌نام

مشاهده‌ مشخصات مقاله

VHDL Based Symbolic Model Checker with Improved CTL Property Language

Hamid Shojai, Hadi Parandeh Afshar, Zainalabedin Navabi

نویسنده (ها)

نهمین کنفرانس سالانه انجمن کامپیوتر ایران

مربوط به کنفرانس

چکیده

برای اعضای سایت : ۱٠٠,٠٠٠ ریال
برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال

قیمت

خرید مقاله

تمام حقوق مادی و معنوی این سایت متعلق به انجمن کامپیوتر ایران می باشد و استفاده از مطالب با ذکر منبع بلامانع است.