1 option
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 / edited by Roger Chamberlain, Walid Taha, Martin Törngren.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Information systems and applications, incl. Internet/Web, and HCI ; SL 3, 11615
- Information Systems and Applications, incl. Internet/Web, and HCI ; 11615
- Language:
- English
- Subjects (All):
- Computer simulation.
- Application software.
- Computers, Special purpose.
- Computer systems.
- Computers.
- Microprogramming.
- Computer Modelling.
- Computer and Information Systems Applications.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Computing Milieux.
- Control Structures and Microprogramming.
- Local Subjects:
- Computer Modelling.
- Computer and Information Systems Applications.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Computing Milieux.
- Control Structures and Microprogramming.
- Physical Description:
- 1 online resource (XII, 231 pages) : 236 illustrations, 58 illustrations in color.
- Edition:
- 1st ed. 2019.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2019.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- Design
- Simulation and Tools
- Formal Methods
- Workshop on Embedded and Cyber-Physical Systems Education.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-23703-5
- 9783030237035
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.