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

Պահպանված է:

Մատենագիտական մանրամասներ
Հրատարակված է:	Electronics vol. 13, no. 23 (2024), p. 4660
Հիմնական հեղինակ:	Garcia, Rémi
Այլ հեղինակներ:	Modesti, Paolo
Հրապարակվել է:	MDPI AG
Խորագրեր:	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
Առցանց հասանելիություն:	Citation/Abstract Full Text + Graphics Full Text - PDF
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Եղիր առաջինը, ով թողնում է մեկնաբանություն!