logo
refinement

컨퍼런스 결과 (2)

International Conference on Coordination Models and Languages (Coordination)

Rank: COffline
Lille, France
Jun 16, 2025 - Jun 20, 2025
Theoretical models and foundations for coordinationcomponent compositionconcurrency+67 더 보기

International Conference on Formal Engineering Methods (ICFEM)

Rank: COffline
Hangzhou, China
Nov 10, 2025 - Nov 13, 2025
Formal specification and modelingFormal approaches to fault prevention and detectionAbstraction+18 더 보기