Hall-Eidson, Patricia
11  Ergebnisse:
Personensuche X
?
5

A Testbed to Verify the Timing Behavior of Cyber-Physical S..:

, In: Proceedings of the 54th Annual Design Automation Conference 2017,
 
?
6

Time in cyber-physical systems:

, In: Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis,
 
?
 
?
8

An efficient timestamp-based monitoring approach to test ti..:

, In: Proceedings of the 55th Annual Design Automation Conference,
 
?
9

Timestamp Temporal Logic (TTL) for Testing the Timing of Cy..:

Mehrabian, Mohammadreza ; Khayatian, Mohammad ; Shrivastava, Aviral...
ACM Transactions on Embedded Computing Systems (TECS).  16 (2017)  5s - p. 1-20 , 2017
 
?
10

Timestamp Temporal Logic (TTL) for Testing the Timing of Cy..:

Mehrabian, Mohammadreza ; Khayatian, Mohammad ; Shrivastava, Aviral...
ACM Transactions on Embedded Computing Systems.  16 (2017)  5s - p. 1-20 , 2017
 
1-11