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
Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Ya-Shian Li, Patricia Derler, Edward Griffor, Hugo A. Andrade, Marc Weiss, John Eidson and Dhananjay Anand. TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems. In Proceedings of the 55th Annual Design Automation Conference (DAC), 2018. [Comment]   Bibtex entry
Keywords: CPS, cyber-physical systems, Verification.  

Your name:
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 23:16:55