(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "Official Website=([^http:])(.*)" to "Official Website=http://$1$2") |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
|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 | ||
|Type=Workshop | |Type=Workshop | ||
| − | |||
|Superevent=Eurocast 2009 | |Superevent=Eurocast 2009 | ||
| − | | | + | |Official Website=http://www.iuctc.ulpgc.es/spain/eurocast2009 |
|City=Las Palmas de Gran Canaria | |City=Las Palmas de Gran Canaria | ||
| − | |Country= | + | |Country=Country:ES |
| − | |||
| − | |||
| − | |||
|pageCreator=127.0.0.1 | |pageCreator=127.0.0.1 | ||
|pageEditor=Triechert | |pageEditor=Triechert | ||
| Line 18: | Line 14: | ||
|Start Date=2009/02/15 | |Start Date=2009/02/15 | ||
|End Date=2009/02/20 | |End Date=2009/02/20 | ||
| + | |Academic Field=Simulation | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Abstract Deadline=2008/10/31 | ||
| + | |Notification Deadline=2008/12/01 | ||
| + | |Submission Deadline=2008/10/31 | ||
| + | }} | ||
| + | {{S Event}} | ||
* 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/ | ||
Latest revision as of 15:27, 19 October 2022
Deadlines
|
||
| Submission |
|
||
| Abstract |
|
||
| Notification |
Venue
Las Palmas de Gran Canaria, Spain
Warning: Venue is missing. The map might not show the exact location.
- 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/
