SDE 2009

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at SDE 2009/rating

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: ES/CN/Las Palmas de Gran Canaria, ES/CN, ES
Loading map...

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/