Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Chamberlain, Roger (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Taha, Walid (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Törngren, Martin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Information Systems and Applications, incl. Internet/Web, and HCI ; 11267
• Θέματα: Application software.; Software engineering.; Computer hardware.; Special purpose computers.; Architecture, Computer.; Computer logic.; Information Systems Applications (incl. Internet).; Software Engineering/Programming and Operating Systems.; Computer Hardware.; Special Purpose and Application-Based Systems.; Computer System Implementation.; Logics and Meanings of Programs.

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in...

Πίνακας περιεχομένων:

• Design
• Simulation
• Formal Methods
• Workshop on Embedded and Cyber-Physical Systems Education.