Formal Verification

Formal Verification

نمونه از کاربرد درستنمایی صوری برای مدلهای واقعی (  اینتر لاکینگ راه آهن )با بکارگیری  B Method

همراه با توضیح جامع نماد گذاری B

خواهشمند است سوالات و یا مشکلات خود را  در ایمیل M_peykar@azarab.ir  مطرح بفرمایید .



خرید و دانلود Formal Verification