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

researchr

You are not signed in
Sign in
Sign up

Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John C. Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward Griffor, Marc Weiss, Kevin Stanton. Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems. ACM Trans. Embedded Comput. Syst., 16(5), 2017. [doi]

This author has not been identified. Look up 'Mohammadreza Mehrabian' in GoogleThis author has not been identified. Look up 'Mohammad Khayatian' in GoogleThis author has not been identified. Look up 'Aviral Shrivastava' in GoogleThis author has not been identified. Look up 'John C. Eidson' in GoogleThis author has not been identified. Look up 'Patricia Derler' in GoogleThis author has not been identified. Look up 'Hugo A. Andrade' in GoogleThis author has not been identified. Look up 'Ya-Shian Li-Baboud' in GoogleThis author has not been identified. Look up 'Edward Griffor' in GoogleThis author has not been identified. Look up 'Marc Weiss' in GoogleThis author has not been identified. Look up 'Kevin Stanton' in Google

runs on WebDSL