Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra

Sunghyeon Lee and Junsup Song and Dimitri Karagiannis and Moonkun Lee

Links

Cite as

Sunghyeon Lee, Junsup Song, Dimitri Karagiannis, Moonkun Lee: Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra. In: 2021 IEEE International Conference on Smart Internet of Things (SmartIoT), pp. 221–228, IEEE, Jeju, Korea, Republic of, 2021, ISBN: 9781665445115.

BibTeX (Download)

@inproceedings{lee_analysis_2021,
title = {Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra},
author = {Sunghyeon Lee and Junsup Song and Dimitri Karagiannis and Moonkun Lee},
url = {https://ieeexplore.ieee.org/document/9555843/},
doi = {10.1109/SmartIoT52359.2021.00042},
isbn = {9781665445115},
year  = {2021},
date = {2021-08-01},
urldate = {2022-03-22},
booktitle = {2021 IEEE International Conference on Smart Internet of Things (SmartIoT)},
pages = {221–228},
publisher = {IEEE},
address = {Jeju, Korea, Republic of},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}