IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #328   Download bibtex file Type :   Html | Bib | Both
    Created: 2017-07-03 19:50:40     Modified: 2017-10-14 12:00:47
328 Add to my selection
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss and Kevin Stanton. Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems. In ACM Transactions on Embedded Computing Systems (TECS) , Vol. 16(169) of 5s, 2017. PDF [Comment]
Keywords: CPS, cyber-physical systems, Verification.   Note: Special Issue on ESWEEK 2017 - Proceedings of the International Conference on Embedded Software (EMSOFT).
@Article{MehrabianTECS2017,
      AUTHOR = {Mehrabian, Mohammadreza and Khayatian, Mohammad and Shrivastava, Aviral and Eidson, John and Derler, Patricia and Andrade, Hugo A. and Li-Baboud, Ya-Shian and Griffor, Edward and Weiss, Marc and Stanton, Kevin},
      TITLE = {Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems},
      YEAR = {2017},
      JOURNAL = {ACM Transactions on Embedded Computing Systems (TECS) },
      VOLUME = {16},
      NUMBER = {169},
      SERIES = {5s},
      PDF = {http://aviral.lab.asu.edu/bibadmin/uploads/pdf/TTL.pdf},
      NOTE = {Special Issue on ESWEEK 2017 - Proceedings of the International Conference on Embedded Software (EMSOFT)},
      KEYWORDS = {CPS, cyber-physical systems, Verification}
}
Feedback: Aviral Shrivastava
Last modified: Mon November 22 2010 16:16:55
        BibAdmin