| Descript |
1 online resource (xii, 231 pages) : illustrations, digital ; 24 cm |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
|
text file PDF rda |
| Series |
Lecture notes in computer science, 0302-9743 ; 11615
|
|
Information systems and applications, incl. internet/web, and HCI |
|
Lecture notes in computer science ; 11615
|
|
Information systems and applications, incl. internet/web, and HCI
|
| Note |
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 |
| Host Item |
Springer eBooks
|
| Subject |
Cooperating objects (Computer systems) -- Congresses
|
|
Simulation and Modeling
|
|
Information Systems Applications (incl. Internet)
|
|
Special Purpose and Application-Based Systems
|
|
Computer System Implementation
|
|
Computing Milieux
|
|
Control Structures and Microprogramming
|
| Alt Author |
Chamberlain, Roger, editor
|
|
Taha, Walid, editor
|
|
Torngren, Martin, editor
|
|
SpringerLink (Online service)
|
|
Workshop on Embedded and Cyber-Physical Systems Education (14th : 2018 : Turin, Italy)
|
| Alt Title |
CyPhy 2018 |
|
WESE 2018 |
|
