دانلود کتاب 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

Name: 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
Availability: InStock
Author: Rolf Drechsler
ISBN: 9783658099930, 9783658099947

by Rolf Drechsler

عنوان فارسی: مدلسازی رسمی و تایید از سیستم سایبر فیزیکی: مدرسه تابستانی 1 بین المللی روش و ابزار طراحی سیستم های دیجیتال، Bremen، آلمان، سپتامبر 2015
ناشر: Springer Vieweg
سال: 2015
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 313
شابک: 9783658099930, 9783658099947
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 6.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!