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 |
| 标签: |
没有标签, 成为第一个标记此记录!
|
成为第一个发表评论!