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 /  [electronic resource] : 
edited by Roger Chamberlain, Walid Taha, Martin Törngren. 
 - 1st ed. 2019. 
 - XII, 231 p. 236 illus., 58 illus. in color.  online resource. 
 - Information Systems and Applications, incl. Internet/Web, and HCI,  11615  2946-1642 ; .
 - Information Systems and Applications, incl. Internet/Web, and HCI,  11615 .
<br/><br/>Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783030237035 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-23703-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer simulation.<br/>Application software.<br/>Computers, Special purpose.<br/>Computer systems.<br/>Computers.<br/>Microprogramming .<br/>Computer Modelling.<br/>Computer and Information Systems Applications.<br/>Special Purpose and Application-Based Systems.<br/>Computer System Implementation.<br/>Computing Milieux.<br/>Control Structures and Microprogramming.
<br/><br/><label>LC Class. No.: </label>QA76.9.C65 
<br/><br/><label>Dewey Class. No.: </label>003.3