دانلود کتاب 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، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب سیستم های فیزیکی سایبری طراحی مبتنی بر مدل: هشتمین کارگاه بین المللی، 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.
عنوان ترجمه شده به فارسی : سیستم های فیزیکی سایبری طراحی مبتنی بر مدل: هشتمین کارگاه بین المللی، CyPhy 2018، و چهاردهمین کارگاه بین المللی، WESE 2018، تورین، ایتالیا، 4 تا 5 اکتبر 2018، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 11615
نویسندگان : Roger Chamberlain, Walid Taha, Martin Törngren
ناشر : Springer International Publishing
سال نشر : 2019
تعداد صفحات : 237
ISBN (شابک) : 9783030237028
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 17 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
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
پست ها تصادفی