M10 A Cyber-Physical Approach to Modeling, Simulation and Verification of Smart Systems
Agenda
Agenda
| Time | Label | Session |
|---|---|---|
| 14:30 | M10.1 | Session 1 |
| 00:00 | M10.1.1 | Introduction to smart systems and cyber-physical systems (Davide Quaglia) Davide Quaglia, EDALab s.r.l, IT |
| 00:00 | M10.1.2 | Multi-domain modeling languages and methodologies (Davide Quaglia) Davide Quaglia, EDALab s.r.l, IT |
| 00:00 | M10.1.3 | Multi-scale modeling: abstraction and refinement (Dimitris Drogoudis) Dimitris Drogoudis, Agilent, BE |
| 16:30 | M10.2 | Session 2 |
| 00:00 | M10.2.1 | Verification of Cyber-Physical Systems (Davide Bresolin) Davide Bresolin, University of Bologna, IT |
| 00:00 | M10.2.2 | Application of modeling concepts and tools to real case studies (Dimitris Drogoudis) Dimitris Drogoudis, Agilent, BE |
| 00:00 | M10.2.3 | Application of verification concepts and tools to real case studies (Davide Bresolin) Davide Bresolin, University of Bologna, IT |
Groups:
