A Probabilistic Model Checking (PMC) Approach to Solve Security Issues in Digital Twin (DT)
| Autor: | Eman Shaikh, Nazeeruddin Mohammad, Abdulrahman Al-Ali, Shahabuddin Muhammad |
|---|---|
| Rok vydání: | 2023 |
| Zdroj: | 2023 International Conference on Intelligent Data Communication Technologies and Internet of Things (IDCIoT). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|