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
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}, }