Difference between revisions of "SDE 2009"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 6: | Line 6: | ||
|Notification=2008/12/01 | |Notification=2008/12/01 | ||
|Acronym=SDE 2009 | |Acronym=SDE 2009 | ||
| − | |End date=2009 | + | |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 | + | |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 | ||
* 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. | * 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.) | * Chair: Milan Ceska (Brno University of Technology, Czech rep.) | ||
* Workshop is part of the Eurocast 2008 conference http://www.iuctc.ulpgc.es/spain/eurocast2009/ | * Workshop is part of the Eurocast 2008 conference http://www.iuctc.ulpgc.es/spain/eurocast2009/ | ||
Latest revision as of 03:26, 6 December 2021
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/