Cyber Physical Systems. Model-Based Design

9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
1. Auflage 2020
ISBN: 978-3-030-41130-5
Verlag: Springer International Publishing

Buch, Englisch, Band 11971, 285 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 458 g

Reihe: Lecture Notes in Computer Science

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.

Zielgruppe

Research

Autoren/Hrsg.

Chamberlain, Roger

Taha, Walid

Edin Grimheden, Martin

Fachgebiete

• Technische Wissenschaften Technik Allgemein Modellierung & Simulation
• Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computersimulation & Modelle, 3-D Graphik
• Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
• Mathematik | Informatik EDV | Informatik Technische Informatik Hardware: Grundlagen und Allgemeines
• Mathematik | Informatik EDV | Informatik Angewandte Informatik
• Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein

Inhaltsverzeichnis

Models and Design.- Simulation and Tools.- Formal Methods.- Embedded and Cyber-Physical Systems Education.