دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1st ed. نویسندگان: Roger Chamberlain, Walid Taha, Martin Törngren سری: Lecture Notes in Computer Science 11615 ISBN (شابک) : 9783030237028 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: 237 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب سیستم های فیزیکی سایبری طراحی مبتنی بر مدل: هشتمین کارگاه بین المللی، 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 به فرمت های 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
