| emsoft | participants

Hugo A. Andrade

EMSOFT 2017: 17th International Conference on Embedded Software

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems

Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John C. Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, and Kevin B. Stanton