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
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

প্রথমজন হিসাবে মন্তব্য করুন!