SDE 2009
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | SDE 2009 |
| Title | Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering |
| Start date | 2009/02/15 |
| End date | 2009/02/20 |
| Homepage | www.iuctc.ulpgc.es/spain/eurocast2009 |
| ... | ... |
- 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/