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