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 Change and Configuration ManagementSoftware Product Line EngineeringEmpirical Software Engineering+71 その他