logo
Principles for qualitative and quantitative security analysis of distributed systems

会议结果 (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 更多