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

Mohammadreza Mehrabian; Mohammad Khayatian; Aviral Shrivastava; John C. Eidson; Patricia Derler; Hugo A. Andrade; Ya-Shian Li-Baboud; Edward Griffor; Marc A. Weiss; Kevin Stanton

doi:10.1002/https://dx.doi.org/10.1145/3126510

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

Identifier:nobleid.org/w1/20260515/CC3B2CF5

Type:Journal Article

0 views

Support unavailableClaim Your Authorship

View Original Paper Source

Embeddable Badge

[![NobleID](https://www.nobleid.org/api/badge/CC3B2CF5.svg?ark=w1%2F20260515%2FCC3B2CF5)](https://nobleid.org/work/w1/20260515/CC3B2CF5)

ARK Inflections

Metadata Policy

Metadata Formats

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors

Mohammadreza Mehrabian

Claim authorship of this work

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

Identifier:nobleid.org/w1/20260515/CC3B2CF5

Type:Journal Article

0 views

Support unavailableClaim Your Authorship

View Original Paper Source

Embeddable Badge

[![NobleID](https://www.nobleid.org/api/badge/CC3B2CF5.svg?ark=w1%2F20260515%2FCC3B2CF5)](https://nobleid.org/work/w1/20260515/CC3B2CF5)

ARK Inflections

Metadata Policy

Metadata Formats

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors

Mohammadreza Mehrabian

Claim authorship of this work