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

Saved in:

Bibliographic Details
Published in:	Electronics vol. 13, no. 23 (2024), p. 4660
Main Author:	Garcia, Rémi
Other Authors:	Modesti, Paolo
Published:	MDPI AG
Subjects:	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
Online Access:	Citation/Abstract Full Text + Graphics Full Text - PDF
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!