SDE 2009

From ConfIDent
Revision as of 00:10, 7 April 2022 by WikiSysop (talk | contribs) (mobo import Concept___Event_For_Confident-migrated)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
  • 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.
  • User:Curator 83air: Milan Ceska (Brno University of Technology, Czech rep.)
  • Workshop is part of the Eurocast 2008 conference http://www.iuctc.ulpgc.es/spain/eurocast2009/
Retrieved from "https://www.confident-conference.org:443/index.php?title=Event:SDE_2009&oldid=13596"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information