Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin
基于过程代数方法的智能物联网（IoT）系统数字孪生安全需求概率验证概率验证方法
期刊:Sensors
影响因子:3.5
doi:10.3390/s24030767
Song, Junsup; Lee, Sunghyun; Karagiannis, Dimitris; Lee, Moonkun
