A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
Guardado en:
| 發表在: | Electronics vol. 13, no. 23 (2024), p. 4660 |
|---|---|
| 主要作者: | |
| 其他作者: | |
| 出版: |
MDPI AG
|
| 主題: | |
| 在線閱讀: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
成為第一個發表評論!