Event:SDE 2009

Deadlines

2008-12-01

2008-10-31

2008-10-31

31 Oct 2008

Submission

31 Oct 2008

Abstract

1 Dec 2008

Notification

Venue

Las Palmas de Gran Canaria, Spain

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","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}

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/