دانلود کتاب Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
کتاب مدل سازی رسمی و تأیید سیستم های فیزیکی سایبر: اولین مدرسه بین المللی تابستانی در مورد روش ها و ابزارهای طراحی سیستم های دیجیتال ، برمن ، آلمان ، سپتامبر 2015 نسخه زبان اصلی
دانلود کتاب مدل سازی رسمی و تأیید سیستم های فیزیکی سایبر: اولین مدرسه بین المللی تابستانی در مورد روش ها و ابزارهای طراحی سیستم های دیجیتال ، برمن ، آلمان ، سپتامبر 2015 بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
نام کتاب : Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : مدل سازی رسمی و تأیید سیستم های فیزیکی سایبر: اولین مدرسه بین المللی تابستانی در مورد روش ها و ابزارهای طراحی سیستم های دیجیتال ، برمن ، آلمان ، سپتامبر 2015
سری :
نویسندگان : Rolf Drechsler, Ulrich Kühne (eds.)
ناشر : Springer Vieweg
سال نشر : 2015
تعداد صفحات : 313
[324]
ISBN (شابک) : 9783658099930 , 9783658099947
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب یادداشت‌های سخنرانی اولین مدرسه تابستانی در مورد روش‌ها و ابزارهای طراحی سیستم‌های دیجیتال، 2015، برگزار شده در برمن، آلمان را ارائه می‌کند. موضوع مدرسه تابستانی به مدل سازی و تایید سیستم های سایبری-فیزیکی اختصاص داشت. این چندین جنبه از این زمینه را پوشش می‌دهد، از جمله سیستم‌های ترکیبی و بررسی مدل، و همچنین کاربردها در رباتیک و سیستم‌های هوافضا.
فصل‌های اصلی توسط دانشمندان برجسته نوشته شده‌اند، که هر کدام حوزه تحقیقاتی خود را ارائه می‌کنند. ارائه ارجاع به مطالب مقدماتی و همچنین آخرین پیشرفت های علمی و جهت گیری های تحقیقاتی آینده. این با مقالات کوتاه ارائه شده توسط دانشجویان دکتری شرکت کننده تکمیل می شود.
توضیحاتی در مورد کتاب به زبان اصلی :
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems.
The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.
پست ها تصادفی