logo
Correctness

نتائج المؤتمرات (4)

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
toolsand empirical evaluations of architecturesexecution environments+63 المزيد

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Hamilton, Canada
May 5, 2025 - May 8, 2025
Software ScienceCategorical Models and LogicsLanguage Theory+25 المزيد

ACM/IEEE International Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM)

Rank: AOffline
Barcelona, Spain
Oct 27, 2025 - Oct 31, 2025
Performance evaluation and modelingAnalytical ModelsSimulation languages and tools for wireless systems+41 المزيد

International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

Rank: BHybrid
Benidorm, Spain
May 22, 2026 - May 24, 2026
Software EngineeringTheory and Practice of Systems and Applications DevelopmentSoftware Development Methodologies+71 المزيد