Formal Verification

نمونه از کاربرد درستنمایی صوری برای مدلهای واقعی ( اینتر لاکینگ راه آهن )با بکارگیری B Method همراه با توضیح جامع نماد گذاری B خواهشمند است سوالات و یا مشکلات خود را در ایمیل [e-mail] مطرح بفرمایید . ...