خرید و دانلود نسخه کامل کتاب Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

تأیید رسمی نمودارهای سیمولینک / جریان گردش دولت: یک رویکرد قیاسی

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

نویسنده: Naijun Zhan, Shuling Wang, Hengjun Zhao (auth.)

ناشر: Springer International Publishing

سال انتشار: 2017

تعداد صفحات: 262

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت