TY  - JOUR
AU  - Mehrabian, Mohammadreza
AU  - Khayatian, Mohammad
AU  - Shrivastava, Aviral
AU  - Eidson, John
AU  - Derler, Patricia
AU  - Andrade, Hugo
AU  - Li-Baboud, Ya-Shian
AU  - Griffor, Edward
AU  - Weiss, Marc
AU  - Stanton, Kevin
C2  - ACM Transactions on Embedded Computing Systems
DA  - 2017-09-27 00:09:00
DO  - https://doi.org/10.1145/3126510
LA  - en
M1  - 16
PB  - ACM Transactions on Embedded Computing Systems
PY  - 2017
TI  - Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems
ER  -