ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

دانلود کتاب سیستم های فیزیکی سایبری طراحی مبتنی بر مدل: هشتمین کارگاه بین المللی، CyPhy 2018، و چهاردهمین کارگاه بین المللی، WESE 2018، تورین، ایتالیا، 4 تا 5 اکتبر 2018، مقالات منتخب اصلاح شده

Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

مشخصات کتاب

Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

ویرایش: 1st ed. 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 11615 
ISBN (شابک) : 9783030237028 
ناشر: Springer International Publishing 
سال نشر: 2019 
تعداد صفحات: 237 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 17 مگابایت

قیمت کتاب (تومان) : 59,000



کلمات کلیدی مربوط به کتاب سیستم های فیزیکی سایبری طراحی مبتنی بر مدل: هشتمین کارگاه بین المللی، CyPhy 2018، و چهاردهمین کارگاه بین المللی، WESE 2018، تورین، ایتالیا، 4 تا 5 اکتبر 2018، مقالات منتخب اصلاح شده: علوم کامپیوتر، برنامه‌های کاربردی سیستم‌های اطلاعاتی (شامل اینترنت)، سیستم‌های هدف خاص و مبتنی بر کاربرد، پیاده‌سازی سیستم‌های کامپیوتری، محاسبات، ساختارهای کنترلی و ریزبرنامه‌نویسی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های فیزیکی سایبری طراحی مبتنی بر مدل: هشتمین کارگاه بین المللی، CyPhy 2018، و چهاردهمین کارگاه بین المللی، WESE 2018، تورین، ایتالیا، 4 تا 5 اکتبر 2018، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی درمورد کتاب به خارجی



فهرست مطالب

Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
 Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems  (Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani)....Pages 3-27
 Challenges in Digital Twin Development for Cyber-Physical Production Systems  (Heejong Park, Arvind Easwaran, Sidharta Andalam)....Pages 28-48
Front Matter ....Pages 49-49
 Subjecting Legacy Simulink Models to Timing Specifications  (Andreas Naderlinger)....Pages 51-70
 Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)  (Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil)....Pages 71-90
 A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)  (Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer)....Pages 91-110
Front Matter ....Pages 111-111
 Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga  (Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikučionis, Jakob Haahr Taankvist)....Pages 113-133
 CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems  (Manuela L. Bujorianu)....Pages 134-153
 Controlled Recurrence of a Biped with Torso  (Adrien Le Coënt, Laurent Fribourg)....Pages 154-169
 A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification  (Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp)....Pages 170-189
Front Matter ....Pages 191-191
 Introducing IoT Subjects to an Existing Curriculum. An Ongoing Experience at the Faculty of the Technology Management - HIT  (Sofia Amador Nelke, Michael Winokur)....Pages 193-196
 Computers Interacting with the Physical World: A First-Year Course  (Roger D. Chamberlain, Ron K. Cytron, Doug Shook, Bill Siever)....Pages 197-205
 CPS/IoT Ecosystem: A Platform for Research and Education  (Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch et al.)....Pages 206-213
 MicroITS: A Scaled-Down ITS Platform  (Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha)....Pages 214-221
 Further Experiences Teaching an FPGA-Based Embedded Systems Class  (Stephen A. Edwards)....Pages 222-230
Back Matter ....Pages 231-231




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی