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

Year: 2018

Presenter:

  • Dr. Patricia Derler
    Research Scientist
    National Instruments Berkeley
© ATIS