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