Difference between revisions of "SDE 2009"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
Line 6: Line 6:
 
|Notification=2008/12/01
 
|Notification=2008/12/01
 
|Acronym=SDE 2009
 
|Acronym=SDE 2009
|End date=2009/02/20
+
|End date=2009-02-20
 
|Series=Eurocast
 
|Series=Eurocast
 
|Type =Workshop
 
|Type =Workshop
Line 12: Line 12:
 
|State=ES/CN
 
|State=ES/CN
 
|City =ES/CN/Las Palmas de Gran Canaria
 
|City =ES/CN/Las Palmas de Gran Canaria
 +
|Year =2009
 
|Homepage=www.iuctc.ulpgc.es/spain/eurocast2009
 
|Homepage=www.iuctc.ulpgc.es/spain/eurocast2009
|Start date=2009/02/15
+
|Start date=2009-02-15
 
|Title=Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering}}
 
|Title=Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering}}
 
* Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering  
 
* Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering  

Revision as of 02:48, 19 November 2021


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/