logo
Formal modelling

نتایج کنفرانس‌ها (2)

European Conference on Multi-Agent Systems (EUMAS)

Rank: COffline
Bucharest, Romania
Sep 3, 2025 - Sep 5, 2025
Agent ArchitecturesAgent Programming LanguagesAgent Development Methodologies and Tools+44 بیشتر

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 بیشتر