A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
محفوظ في:
| الحاوية / القاعدة: | Electronics vol. 13, no. 23 (2024), p. 4660 |
|---|---|
| المؤلف الرئيسي: | |
| مؤلفون آخرون: | |
| منشور في: |
MDPI AG
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
كن أول من يترك تعليقا!