A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
Guardat en:
| Publicat a: | Electronics vol. 13, no. 23 (2024), p. 4660 |
|---|---|
| Autor principal: | |
| Altres autors: | |
| Publicat: |
MDPI AG
|
| Matèries: | |
| Accés en línia: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Sigues el primer a deixar un comentari!