logo
Applications of formal methods and techniques for studying the quality

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