logo
Formal modelling

컨퍼런스 결과 (2)

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 더 보기

European Conference on Multi-Agent Systems (EUMAS)

Rank: COffline
Bucharest, Romania
Sep 3, 2025 - Sep 5, 2025
Action and PlanningAdaptation and LearningAgent Architectures+44 더 보기