logo
Components

会议结果 (2)

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 更多

International Symposium on Automation and Robotics in Construction (ISARC)

Rank: COffline
Montreal, Canada
TBD
Automation tools and techniquesSensing systems & data infrastructurescomputing+40 更多