Time-centric Models for Designing Embedded Cyber-Physical Systems

John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, and Jia Zou. Time-centric Models for Designing Embedded Cyber-Physical Systems. Technical Report UCB/EECS-2009-135, EECS Department, UC Berkeley, 2009.

Download

[HTML] 

Abstract

(unavailable)

BibTeX

@TechReport{eidson-tr09,
  author =       {John C. Eidson and Edward A. Lee and Slobodan Matic and Sanjit A. Seshia and Jia Zou},
  title =        "Time-centric Models for Designing Embedded Cyber-Physical Systems",
  institution =  {EECS Department, UC Berkeley},
  year =         {2009},
  month = {October},
  number =       {UCB/EECS-2009-135},
}