• DocumentCode
    2835
  • Title

    Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems

  • Author

    Cheng, Albert M. K. ; Ramesh S

  • Author_Institution
    Department of Computer Science, University of Houston, Houston, TX, USA
  • Volume
    6
  • Issue
    1
  • fYear
    2014
  • fDate
    Mar-14
  • Firstpage
    2
  • Lastpage
    3
  • Abstract
    The three papers in this special issue focus on rigorous modeling and analysis of cyber-physical systems.
  • Keywords
    Digital control; Embedded software; Modeling; Protocols; Simulation; Special issues and sections;
  • fLanguage
    English
  • Journal_Title
    Embedded Systems Letters, IEEE
  • Publisher
    ieee
  • ISSN
    1943-0663
  • Type

    jour

  • DOI
    10.1109/LES.2014.2306753
  • Filename
    6747379
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2835