• DocumentCode
    2267947
  • Title

    Table of contents

  • fYear
    2012
  • fDate
    20-22 June 2012
  • Abstract
    The following topics are dealt with: networks; scheduling; embedded system design; software engineering and control; stochastic modeling; multicore problems; modeling and verification; safety; and error checking.
  • Keywords
    computer networks; control engineering computing; embedded systems; formal verification; multiprocessing systems; scheduling; security of data; stochastic processes; embedded system design; error checking; industrial networks; multicore problem; safety; scheduling; software engineering; stochastic modeling; verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on
  • Conference_Location
    Karlsruhe
  • Print_ISBN
    978-1-4673-2685-8
  • Electronic_ISBN
    978-1-4673-2683-4
  • Type

    conf

  • DOI
    10.1109/SIES.2012.6356615
  • Filename
    6356615