Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Anik Momtaz"'
Publikováno v:
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::297c987ec42d632c8230c5ab944bad3a
https://doi.org/10.1145/3576841.3585937
https://doi.org/10.1145/3576841.3585937
Publikováno v:
Runtime Verification ISBN: 9783030884932
RV
RV
This paper solves the problem of detecting violations of predicates over distributed continuous-time and continuous-valued signals in cyber-physical systems (CPS). We assume a partially synchronous setting, where a clock synchronization algorithm gua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b6658e48b6c3e0097db819d9280be59
https://doi.org/10.1007/978-3-030-88494-9_1
https://doi.org/10.1007/978-3-030-88494-9_1
