نمونه از کاربرد درستنمایی صوری برای مدلهای واقعی ( اینتر لاکینگ راه آهن )با بکارگیری B Method همراه با توضیح جامع نماد گذاری B خواهشمند است سوالات و یا مشکلات خود را در ایمیل M_peykar@azarab.ir مطرح بفرمایید . ...
در این فایل که با فرمت پی دی اف و در 19 صفحه آماده شده است به مدل سازی و تایید یک برنامه زنده از راه دور با استفاده از نمودار توالی و ابزار بازی موتور پرداخته است. ...
لینک دانلود و خرید پایین توضیحات دسته بندی : پاورپوینت نوع فایل : .PPT ( قابل ویرایش و آماده پرینت ) قسمتی از متن .PPT : تعداد اسلاید : 119 اسلاید Hardware Modeling & Verification Omid Kavehieomid dot kaveh at gmail dot com Hardware Modeling & Verification Xilinx ISE 6.1 - EDA Tool Omid Kavehie Hardware Modeling & Verification - Arak University @ Fall 2005 3 Omid Kavehie Hardware Modeling & Verification - Arak University @ Fall 200 ...