SDE 2009
Jump to navigation
Jump to search
Event Rating
median | worst |
---|---|
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 |
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/