m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
(mobo import Concept___Events_With_Academic_Fields-migrated) |
||
| Line 3: | Line 3: | ||
|Title=Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering | |Title=Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering | ||
|Type=Workshop | |Type=Workshop | ||
| − | |||
|Superevent=Eurocast 2009 | |Superevent=Eurocast 2009 | ||
|Homepage=www.iuctc.ulpgc.es/spain/eurocast2009 | |Homepage=www.iuctc.ulpgc.es/spain/eurocast2009 | ||
| Line 18: | Line 17: | ||
|Start Date=2009/02/15 | |Start Date=2009/02/15 | ||
|End Date=2009/02/20 | |End Date=2009/02/20 | ||
| + | |Academic Field=Simulation | ||
}} | }} | ||
* Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering | * Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering | ||
Revision as of 13:58, 24 August 2022
- Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering
- The workshop concentrates on the role of simulation and CAST tools in the design of reliable systems. Topics include embedded systems design, distributed systems design, reality-in-the-loop simulation, modelling formalisms and languages, model transformations, model continuity, design methodologies, supporting tools, etc.
- Chair: Milan Ceska (Brno University of Technology, Czech rep.)
- Workshop is part of the Eurocast 2008 conference http://www.iuctc.ulpgc.es/spain/eurocast2009/
