IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #320   Download bibtex file Type :   Html | Bib | Both
    Created: 2017-04-21 13:26:48     Modified: 2017-07-07 15:40:05
320 Add to my selection
Aviral Shrivastava, Mohammadreza Mehrabian, Mohammad Khayatian, Patricia Derler, Hugo A. Andrade, Kevin Stanton, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and John Eidson. A Testbed to Verify the Timing Behavior of Cyber-Physical Systems. In Proceedings of The 54th Annual Design Automation Conference (DAC), 2017. PDF [Comment]
Keywords: CPS, cyber-physical systems, Verification.  
@InProceedings{ShrivastavaDAC2017,
      AUTHOR = {Shrivastava, Aviral and Mehrabian, Mohammadreza and Khayatian, Mohammad and Derler, Patricia and Andrade, Hugo A. and Stanton, Kevin and Li-Baboud, Ya-Shian and Griffor, Edward and Weiss, Marc and Eidson, John},
      TITLE = {A Testbed to Verify the Timing Behavior of Cyber-Physical Systems},
      YEAR = {2017},
      BOOKTITLE = {Proceedings of The 54th Annual Design Automation Conference (DAC)},
      PDF = {http://aviral.lab.asu.edu/bibadmin/uploads/pdf/1492806408.03_invited-testbed-verify.pdf},
      KEYWORDS = {CPS, cyber-physical systems, Verification}
}
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 16:16:55
        BibAdmin