by Masumi Toyoshima (Editor), Jean-Pierre Talpin (Editor), Shin Nakajima (Editor)
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.
Format: Hardcover
Pages: 176
Edition: 1st ed. 2017
Publisher: Springer
Published: 16 Jun 2017
ISBN 10: 981104435X
ISBN 13: 9789811044359