درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
604 مرتبه مشاهده شده
درستی یابی سطح بالا با استفاده از روش های غیرمبتنی بر EDD
عشقی، محمدرضا.
- شماره پایان نامه:35743
- کد دانشکده:19
- پديدآور: عشقی، محمدرضا.
- عنوان:درستی یابی سطح بالا با استفاده از روش های غیرمبتنی بر EDD.
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1383
- نام دانشکده:مهندسی کامپیوتر
- گرایش:کارشناسی ارشد (معماری کامپیوتر)
- یادداشت:65ص0: جدول، نمودار، کتابنامه؛ چکیده به فارسی و انگلیسی
- توصیفگر: مدل رفتار Behavioral Model
- توصیفگر: وارسی الگو Model Cheking
- توصیفگر: درستی یابی سطح بالا High Level Verification
- توصیفگر: ریاضیات پرزبرگر Persburger Arithmetic
- استاد راهنما. حسابی، شاهین،
- محتواي پايان نامه
- مشاهده