(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
||
Line 21: | Line 21: | ||
* 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.) |
* 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/ |
Revision as of 12:43, 7 July 2022
- 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/