پارس فایل

مرکز دانلود انواع فایل های دانشجویی و دانش آموزی(تحقیق,پاورپوینت,پروژه,مقاله,فایل فلش و ...)

پارس فایل

مرکز دانلود انواع فایل های دانشجویی و دانش آموزی(تحقیق,پاورپوینت,پروژه,مقاله,فایل فلش و ...)

Formal Verification

نمونه از کاربرد درستنمایی صوری برای مدلهای واقعی (  اینتر لاکینگ راه آهن )با بکارگیری  B Method همراه با توضیح جامع نماد گذاری B خواهشمند است سوالات و یا مشکلات خود را  در ایمیل M_peykar@azarab.ir  مطرح بفرمایید . ...
Formal Verification Formal Verification دانلود مقاله رایگان
پیمان مرادی چهارشنبه 18 اردیبهشت 1398 ساعت 12:31
0 نظر

Modeling and verification of a telecommunication application

در این فایل که با فرمت پی دی اف و در 19 صفحه آماده شده است به مدل سازی و تایید یک برنامه زنده از راه دور با استفاده از نمودار توالی و ابزار بازی موتور پرداخته است. ...
Modeling and Verification of A Telecommunication Application دانلود مقاله رایگان
پیمان مرادی پنج‌شنبه 12 اردیبهشت 1398 ساعت 10:47
0 نظر

Verification of a Complete Pore Network Simulator of Drainage and Imbibition

Verification of A Complete Pore Network Simulator Drainage and Imbibition
پیمان مرادی چهارشنبه 11 اردیبهشت 1398 ساعت 12:35
0 نظر