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

Kaydedildi:

Detaylı Bibliyografya
Yayımlandı:	Electronics vol. 13, no. 23 (2024), p. 4660
Yazar:	Garcia, Rémi
Diğer Yazarlar:	Modesti, Paolo
Baskı/Yayın Bilgisi:	MDPI AG
Konular:	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
Online Erişim:	Citation/Abstract Full Text + Graphics Full Text - PDF
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

İlk yorumlayan siz olun!