Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems

Autor:	Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour
Rok vydání:	2023
Zdroj:	Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).
DOI:	10.1145/3576841.3585937
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::297c987ec42d632c8230c5ab944bad3a https://doi.org/10.1145/3576841.3585937 Zobrazit plný text záznamu