Benutzer: Gast  Login
Titel:

Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Zhong, Bingzhuo; Jordan, Claudius; Provost, Julien
Zeitschriftentitel:
ACM Transactions on Cyber-Physical Systems
Jahr:
2020
Volltext / DOI:
doi:10.1145/3377868
Verlag / Institution:
Association for Computing Machinery (ACM)
E-ISSN:
2378-962X2378-9638
Publikationsdatum:
07.05.2020
 BibTeX