Junsup Song
3PUBLICATIONS
1CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (3)
Sort by Publication Date:
|Jun 27, 2024
A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence.Junsup Song, Dimitris Karagiannis, Moonkun Lee
|Feb 10, 2024
Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin.Junsup Song, Sunghyun Lee, Dimitris Karagiannis
|Jul 09, 2022
Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS.Junsup Song, Dimitris Karagiannis, Moonkun Lee
Pageof 1
