You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
* 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/
Save page Show preview Cancel