Télécharger le livre :  Cyber-Physical System Design from an Architecture Analysis Viewpoint

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...
Editeur : Springer
Parution : 2017-05-10

Format(s) : PDF, ePub
94,94

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Synthesis of Embedded Software

Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose...
Editeur : Springer
Parution : 2010-08-05

Format(s) : ePub
94,94

Téléchargement immédiat
Dès validation de votre commande