Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/tecs/MehrabianKSEDAL17
%A Mehrabian, Mohammadreza
%A Khayatian, Mohammad
%A Shrivastava, Aviral
%A Eidson, John C.
%A Derler, Patricia
%A Andrade, Hugo A.
%A Li-Baboud, Ya-Shian
%A Griffor, Edward R.
%A Weiss, Marc
%A Stanton, Kevin B.
%D 2017
%J ACM Trans. Embed. Comput. Syst.
%K dblp
%N 5s
%P 169:1-169:20
%T Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.
%U http://dblp.uni-trier.de/db/journals/tecs/tecs16.html#MehrabianKSEDAL17
%V 16
@article{journals/tecs/MehrabianKSEDAL17,
added-at = {2022-01-20T00:00:00.000+0100},
author = {Mehrabian, Mohammadreza and Khayatian, Mohammad and Shrivastava, Aviral and Eidson, John C. and Derler, Patricia and Andrade, Hugo A. and Li-Baboud, Ya-Shian and Griffor, Edward R. and Weiss, Marc and Stanton, Kevin B.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2318cc2d8eb9b17a519ff4ab6d330f66e/dblp},
ee = {https://doi.org/10.1145/3126510},
interhash = {81520ca193b9c5aba962be168136da25},
intrahash = {318cc2d8eb9b17a519ff4ab6d330f66e},
journal = {ACM Trans. Embed. Comput. Syst.},
keywords = {dblp},
number = {5s},
pages = {169:1-169:20},
timestamp = {2022-03-01T06:37:12.000+0100},
title = {Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.},
url = {http://dblp.uni-trier.de/db/journals/tecs/tecs16.html#MehrabianKSEDAL17},
volume = 16,
year = 2017
}