Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings /
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods inc...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Nakajima, Shin. (Editor, http://id.loc.gov/vocabulary/relators/edt), Talpin, Jean-Pierre. (Editor, http://id.loc.gov/vocabulary/relators/edt), Toyoshima, Masumi. (Editor, http://id.loc.gov/vocabulary/relators/edt), Yu, Huafeng. (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Language: | English |
Published: |
Singapore :
Springer Singapore : Imprint: Springer,
2017.
|
Edition: | 1st ed. 2017. |
Subjects: | |
Online Access: | https://doi.org/10.1007/978-981-10-4436-6 |
Similar Items
-
Engineering Adaptive Software Systems Communications of NII Shonan Meetings / edited by Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh.
Published: (2019) -
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings / edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry.
Published: (2021) -
Control of Cyber-Physical Systems Workshop held at Johns Hopkins University, March 2013 / edited by Danielle C. Tarraf.
Published: (2013) -
Software engineering quality practices Ronald Kirk Kandt.
by: Kandt, Ronald Kirk
Published: (2006) -
Systems and Software Quality : The next step for industrialisation Martin Wieczorek,Diederik Vos,Heinz Bons.
by: Martin Wieczorek
Published: (2014)