A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
Đã lưu trong:
| Xuất bản năm: | Electronics vol. 13, no. 23 (2024), p. 4660 |
|---|---|
| Tác giả chính: | |
| Tác giả khác: | |
| Được phát hành: |
MDPI AG
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Là người đầu tiên ghi lời nhận xét!