View source for SDE 2009

{{Event
|Acronym=SDE 2009
|Title=Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering
|Series=Eurocast
|Type=Workshop
|Field=Simulation
|Superevent=Eurocast 2009
|Start date=2009/02/15
|End date=2009/02/20
|Homepage=www.iuctc.ulpgc.es/spain/eurocast2009
|City=Las Palmas de Gran Canaria
|Country=Spain
|Submission deadline=2008/10/31
|Abstract deadline=2008/10/31
|Notification=2008/12/01
}}
* 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/