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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Edizione: | 1st ed. 2019. |
| Descrizione fisica: | 1 online resource (XII, 231 p. 236 illus., 58 illus. in color.) |
| Disciplina: | 001.53 |
| 006.22 | |
| Soggetto topico: | 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 | |
| Persona (resp. second.): | ChamberlainRoger |
| TahaWalid | |
| TörngrenMartin | |
| Note generali: | Includes index. |
| Nota di contenuto: | Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Cyber Physical Systems. Model-Based Design |
| ISBN: | 3-030-23703-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910349316003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Information Systems and Applications, incl. Internet/Web, and HCI, . 2946-1642 ; ; 11615