logo
Language concepts for concurrency and distribution

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