Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Media type: E-Book
Title: Cyber Physical Systems. Model-Based Design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
Contributor: Chamberlain, Roger [HerausgeberIn]; Taha, Walid [HerausgeberIn]; Törngren, Martin [HerausgeberIn]
imprint: Cham: Springer, 2019
Published in: Information Systems and Applications, incl. Internet/Web, and HCI ; 11615
Springer eBooks ; Computer Science
Issue: 1st ed. 2019
Extent: 1 Online-Ressource (XII, 231 p. 236 illus., 58 illus. in color)
Language: English
DOI: 10.1007/978-3-030-23703-5
ISBN: 9783030237035
Identifier:

Keywords: Software engineering ; Computer network architectures ; Computer science ; Simulation and Modeling ; Computer simulation ; Microprogramming ; Special purpose computers. ; Architecture, Computer. ; Computers. ; Application software.
Origination:
Footnote:
Description: Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018. The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability

Cyber Physical Systems. Model-Based Design - [1st ed. 2019]