A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
Сохранить в:
| Опубликовано в:: | Electronics vol. 13, no. 23 (2024), p. 4660 |
|---|---|
| Главный автор: | |
| Другие авторы: | |
| Опубликовано: |
MDPI AG
|
| Предметы: | |
| Online-ссылка: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|
Ваш комментарий будет первым!