| Original language | Korean |
|---|---|
| Journal | Sensors |
| State | Published - 2024.02.1 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin
- Moonkun Lee
Research output: Contribution to journal › Journal article › peer-review