Inproceedings,
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.
A. Momtaz, H. Abbas, and B. Bonakdarpour.ICCPS, page 154-165. ACM, (2023)
Meta data
- BibTeX key
- conf/iccps/MomtazAB23
- entry type
- inproceedings
- booktitle
- ICCPS
- year
- 2023
- pages
- 154-165
- publisher
- ACM
- crossref
- conf/iccps/2023
- ee
- https://doi.org/10.1145/3576841.3585937
- url
- http://dblp.uni-trier.de/db/conf/iccps/iccps2023.html#MomtazAB23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iccps/MomtazAB23
%A Momtaz, Anik
%A Abbas, Houssam
%A Bonakdarpour, Borzoo
%B ICCPS
%D 2023
%E Mitra, Sayan
%E Venkatasubramanian, Nalini
%E Dubey, Abhishek
%E Feng, Lu
%E Ghasemi, Mahsa
%E Sprinkle, Jonathan
%I ACM
%K dblp
%P 154-165
%T Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.
%U http://dblp.uni-trier.de/db/conf/iccps/iccps2023.html#MomtazAB23
@inproceedings{conf/iccps/MomtazAB23,
added-at = {2023-05-17T00:00:00.000+0200},
author = {Momtaz, Anik and Abbas, Houssam and Bonakdarpour, Borzoo},
biburl = {https://www.bibsonomy.org/bibtex/2db4dee23a2961371d0522b4061a830a9/dblp},
booktitle = {ICCPS},
crossref = {conf/iccps/2023},
editor = {Mitra, Sayan and Venkatasubramanian, Nalini and Dubey, Abhishek and Feng, Lu and Ghasemi, Mahsa and Sprinkle, Jonathan},
ee = {https://doi.org/10.1145/3576841.3585937},
interhash = {16a9e20569235f6a93a247493bebf091},
intrahash = {db4dee23a2961371d0522b4061a830a9},
keywords = {dblp},
pages = {154-165},
publisher = {ACM},
timestamp = {2024-04-09T21:46:00.000+0200},
title = {Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.},
url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2023.html#MomtazAB23},
year = 2023
}