SDE 2009

SDE 2009
Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering
Event in series	Eurocast
Subevent of	Eurocast 2009
Dates	2009/02/15 (iCal) - 2009/02/20
Homepage:	www.iuctc.ulpgc.es/spain/eurocast2009
Location
Location:	Las Palmas de Gran Canaria, Spain
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":28.1288694,"lon":-15.4349015,"icon":""}],"imageoverlays":null}
Important dates
Abstracts:	2008/10/31
Submissions:	2008/10/31
Notification:	2008/12/01
Table of Contents

• 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/