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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Cyhoeddwyd yn:	Electronics vol. 13, no. 23 (2024), p. 4660
Prif Awdur:	Garcia, Rémi
Awduron Eraill:	Modesti, Paolo
Cyhoeddwyd:	MDPI AG
Pynciau:	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
Mynediad Ar-lein:	Citation/Abstract Full Text + Graphics Full Text - PDF
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Byddwch y cyntaf i adael sylw!