logo
Principles for qualitative and quantitative security analysis of distributed systems

Kết quả hội nghị (1)

IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification (FORTE)

Rank: COffline
Lille, France
Jun 16, 2025 - Jun 20, 2025
Formal Techniques for Distributed ObjectsComponentsand Systems+13 thêm