Benutzer: Gast  Login
Dokumenttyp:
Zeitschriftenaufsatz 
Autor(en):
Zhong, Bingzhuo; Jordan, Claudius; Provost, Julien 
Titel:
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems 
Zeitschriftentitel:
ACM Transactions on Cyber-Physical Systems 
Jahr:
2020 
Volltext / DOI:
Verlag / Institution:
Association for Computing Machinery (ACM) 
E-ISSN:
2378-962X2378-9638 
Publikationsdatum:
07.05.2020