• DocumentCode
    2958896
  • Title

    [Front cover]

  • fYear
    2010
  • fDate
    22-26 March 2010
  • Abstract
    The following topics are dealt with: adaptation and autonomic systems; distributed and service-based applications; formal methods; real-time systems; model-driven engineering; complex system modelling and simulation; UML and AADL workshop.
  • Keywords
    Unified Modeling Language; fault tolerant computing; formal verification; large-scale systems; modelling; real-time systems; AADL workshop; UML; autonomic systems; complex system modelling; complex system simulation; formal methods; model-driven engineering; real-time systems; service-based applications;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on
  • Conference_Location
    Oxford
  • Print_ISBN
    978-1-4244-6638-2
  • Type

    conf

  • DOI
    10.1109/ICECCS.2010.19
  • Filename
    5628570