User: Guest  Login
Document type:
Zeitschriftenaufsatz 
Author(s):
Zhong, Bingzhuo; Jordan, Claudius; Provost, Julien 
Title:
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems 
Journal title:
ACM Transactions on Cyber-Physical Systems 
Year:
2020 
Fulltext / DOI:
Publisher:
Association for Computing Machinery (ACM) 
E-ISSN:
2378-962X2378-9638 
Date of publication:
07.05.2020