A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols

Zapisane w:

Opis bibliograficzny
Wydane w:	Electronics vol. 13, no. 23 (2024), p. 4660
1. autor:	Garcia, Rémi
Kolejni autorzy:	Modesti, Paolo
Wydane:	MDPI AG
Hasła przedmiotowe:	Language Software Programming environments Verification Formal method Protocol Feedback Industrial design Workflow Effectiveness Weight reduction Cryptography Automation Research & development > R&D Lightweight Cybersecurity Colleges & universities
Dostęp online:	Citation/Abstract Full Text + Graphics Full Text - PDF
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Napisz pierwszy komentarz!