1 option
Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Information systems and applications, incl. Internet/Web, and HCI ; SL 3, 11971
- Information Systems and Applications, incl. Internet/Web, and HCI ; 11971
- Language:
- English
- Subjects (All):
- Application software.
- Computers, Special purpose.
- Computer systems.
- Microprogramming.
- Compilers (Computer programs).
- Computer and Information Systems Applications.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Control Structures and Microprogramming.
- Compilers and Interpreters.
- Local Subjects:
- Computer and Information Systems Applications.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Control Structures and Microprogramming.
- Compilers and Interpreters.
- Physical Description:
- 1 online resource (XII, 285 pages) : 170 illustrations, 57 illustrations in color.
- Edition:
- 1st ed. 2020.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2020.
- System Details:
- text file PDF
- Summary:
- This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.
- Contents:
- Models and Design
- Simulation and Tools
- Formal Methods
- Embedded and Cyber-Physical Systems Education.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-41131-2
- 9783030411312
- 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.