IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publication no #346   Download bibtex file Type :   Html | Bib | Both
    Created: 2018-06-16 21:03:00     Modified: 2018-06-16 21:22:15
346 Add to my selection
      AUTHOR = {Mehrabian, Mohammadreza and Khayatian, Mohammad and Moussa, Ahmed and Shrivastava, Aviral and Li, Ya-Shian and Derler, Patricia and Griffor, Edward and Andrade, Hugo A. and Weiss, Marc and Eidson, John},
      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