Timestamp Temporal Logic (TTL) and Testing Methodology for Monitoring the Timing of Cyber-Physical Systems

Timestamp Temporal Logic (TTL) and Testing Methodology for Monitoring the Timing of Cyber-Physical Systems

Year: 2018


Presenter(s):

  • Dr. Patricia Derler - Research Scientist, National Instruments Berkeley

© ATIS