| emsoft | participants

Patricia Derler

Program Committees:
2015, 2016, 2017, 2018, 2019, 2020, 2022, and 2023
.

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