%0 Journal Article %1 journals/sensors/SongLKL24 %A Song, Junsup %A Lee, Sunghyun %A Karagiannis, Dimitris %A Lee, Moonkun %D 2024 %J Sensors %K dblp %N 3 %P 767 %T Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin. %U http://dblp.uni-trier.de/db/journals/sensors/sensors24.html#SongLKL24 %V 24

@article{journals/sensors/SongLKL24, added-at = {2024-02-29T00:00:00.000+0100}, author = {Song, Junsup and Lee, Sunghyun and Karagiannis, Dimitris and Lee, Moonkun}, biburl = {https://www.bibsonomy.org/bibtex/2e3f1afbfcbc5f6947d1cf77b04cef169/dblp}, ee = {https://doi.org/10.3390/s24030767}, interhash = {e9ca8e496ded18ec5dcf644de7d8f4dc}, intrahash = {e3f1afbfcbc5f6947d1cf77b04cef169}, journal = {Sensors}, keywords = {dblp}, month = {February}, number = 3, pages = 767, timestamp = {2024-04-09T04:20:18.000+0200}, title = {Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin.}, url = {http://dblp.uni-trier.de/db/journals/sensors/sensors24.html#SongLKL24}, volume = 24, year = 2024 }