[ACM Press the 54th Annual Design Automation Conference 2017 - Austin, TX, USA (2017.06.18-2017.06.22)] Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17 - A Testbed to Verify the Timing Behavior of Cyber-Physical Systems
Shrivastava, Aviral, Eidson, John, Mehrabian, Mohammadreza, Khayatian, Mohammad, Derler, Patricia, Andrade, Hugo, Stanton, Kevin, Li-Baboud, Ya-Shian, Griffor, Edward, Weiss, MarcYear:
2017
Language:
english
DOI:
10.1145/3061639.3072955
File:
PDF, 2.37 MB
english, 2017