اینجا یاب

در مورد هر چه می خواهید اینجا بیابید!

اینجا یاب

در مورد هر چه می خواهید اینجا بیابید!

Formal Verification

نمونه از کاربرد درستنمایی صوری برای مدلهای واقعی ( اینتر لاکینگ راه آهن )با بکارگیری B Method همراه با توضیح جامع نماد گذاری B خواهشمند است سوالات و یا مشکلات خود را در ایمیل M_peykar@azarab.ir مطرح بفرمایید . ...


ادامه مطلب ...
Formal verification
یکشنبه 17 مرداد 1395 ساعت 15:40

Modeling and verification of a telecommunication application

در این فایل که با فرمت پی دی اف و در 19 صفحه آماده شده است به مدل سازی و تایید یک برنامه زنده از راه دور با استفاده از نمودار توالی و ابزار بازی موتور پرداخته است. ...


ادامه مطلب ...
Modeling verification telecommunication application
شنبه 2 مرداد 1395 ساعت 19:58