Researcher at Jeonbuk National University Publishes Research in Sensor Research [Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin]

Media coverage

• Title	Researcher at Jeonbuk National University Publishes Research in Sensor Research [Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin]
  Media name/outlet	Math Daily News
  Country/Territory	United States
  Date	24.02.14
  Persons	Moonkun Lee