IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publication no #342   Download bibtex file Type :   Html | Bib | Both
    Created: 2018-02-15 16:30:21     Modified: 2018-03-04 00:16:26
342 Add to my selection
      AUTHOR = {Mehrabian, Mohammadreza and Khayatian, Mohammad and Mousa, Ahmed and Shrivastava, Aviral and Li, Ya-Shian and Derler, Patricia and Griffor, Edward and Andrade, Hugo A. and Weiss, Marc and Eidson, John and Anand, Dhananjay},
      TITLE = {TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems},
      YEAR = {2018},
      BOOKTITLE = {Proceedings of the 55th Annual Design Automation Conference (DAC)},
      KEYWORDS = {CPS, cyber-physical systems, Verification}
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 23:16:55