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
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

टिप्पणी देने वाले पहले व्यक्ति बनें!