Refinement modeling and verification of secure operating systems for communication in digital twins
In traditional digital twin communication system testing, we can apply test cases as completely as possible in order to ensure the correctness of the system implementation, and even then, there is no guarantee that the digital twin communication system implementation is completely correct. Formal ve...
Gardado en:
| Principais autores: | , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
KeAi Communications Co., Ltd.
2024-04-01
|
| Series: | Digital Communications and Networks |
| Assuntos: | |
| Acceso en liña: | http://www.sciencedirect.com/science/article/pii/S2352864822001602 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|