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

Academia.edu no longer supports Internet Explorer.

To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.

Password

Remember me on this computer

Enter the email address you signed up with and we'll email you a reset link.

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

ACM Transactions in Embedded Computing Systems, 2017

Kevin Stanton hasn't uploaded this paper.

Let Kevin know you want this paper to be uploaded.

Ask for this paper to be uploaded.

People also downloaded these PDFs