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
tarafından
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106
Başlık
:
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
Yazar
:
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106
ISBN
:
9783030237035
Edisyon
:
1st ed. 2019.
Fiziksel Niteleme
:
XII, 231 p. 236 illus., 58 illus. in color. online resource.
Seri
:
Information Systems and Applications, incl. Internet/Web, and HCI ; 11615
İçindekiler
:
Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
Özet
:
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.
Konu Başlığı
:
Computer simulation.
Application software.
Special purpose computers.
Architecture, Computer.
Computers.
Microprogramming .
Simulation and Modeling. https://scigraph.springernature.com/ontologies/product-market-codes/I19000
Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies/product-market-codes/I18040
Special Purpose and Application-Based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I13030
Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes/I13057
Computing Milieux. https://scigraph.springernature.com/ontologies/product-market-codes/I24008
Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product-market-codes/I12018
Yazar Ek Girişi
:
Chamberlain, Roger.
Taha, Walid.
Törngren, Martin.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 429135-1001 | QA76.9 .C65 | Springer E-Book Collection |