Télécharger le livre :  Cyber-Physical System Design from an Architecture Analysis Viewpoint
Ajouter à ma liste d'envies
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

PDF, ePub

94,94
Télécharger le livre :  Synthesis of Embedded Software
Ajouter à ma liste d'envies
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

ePub

94,94