Showing 1 - 2 results of 2 for search 'Junsup Song', query time: 0.02s Refine Results
  1. 1
    Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS

    Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS by Junsup Song, Dimitris Karagiannis, Moonkun Lee

    Published 2022-07-01
    Get full text
    Article
  2. 2
    Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin

    Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin by Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee

    Published 2024-01-01
    Get full text
    Article

Search Tools: