logo
Model-driven development

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

IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Rank: BOffline
Hangzhou, China
Jul 2, 2025 - Jul 4, 2025
Model-driven developmentModel checkingSAT/SMT solvers for software analysis and testing+60 بیشتر

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 بیشتر

International Conference on the Application and Theory of Petri Nets and Concurrency (Petri Nets)

Rank: BOffline
Paris-Aubervilliers, France
Jun 25, 2025 - Jun 27, 2025
Petri NetsConcurrencySystem Design+36 بیشتر