m (Text replacement - "Homepage=" to "Official Website=") |
m (Text replacement - "Official Website=([^http:])(.*)" to "Official Website=http://$1$2") |
||
Line 4: | Line 4: | ||
|Type=Workshop | |Type=Workshop | ||
|Superevent=Eurocast 2009 | |Superevent=Eurocast 2009 | ||
− | |Official Website=www.iuctc.ulpgc.es/spain/eurocast2009 | + | |Official Website=http://www.iuctc.ulpgc.es/spain/eurocast2009 |
|City=Las Palmas de Gran Canaria | |City=Las Palmas de Gran Canaria | ||
|Country=Country:ES | |Country=Country:ES |
Latest revision as of 15:27, 19 October 2022
Deadlines
|
||
Submission |
|
||
Abstract |
|
||
Notification |
Venue
Las Palmas de Gran Canaria, Spain
Warning: Venue is missing. The map might not show the exact location.
- 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/