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
-
- 39,99 $
-
- 39,99 $
От издателя
This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2019
1 июля
ЯЗЫК
EN
английский
ОБЪЕМ
243
стр.
ИЗДАТЕЛЬ
Springer International Publishing
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
16,9
МБ
Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Cyber Physical Systems. Model-Based Design
2020
Software Engineering and Formal Methods
2018
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018
Foundations of Computer Software
2011
Principles of Modeling
2018