logo
validation and verification

カンファレンス検索結果 (2)

ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)

Rank: BOffline
Seoul, South Korea
Jun 16, 2025 - Jun 17, 2025
Support for enhanced programmer productivityDebuggingprofiling+75 その他

International Conference on Dependability of Computer Systems (DEPCoS)

Rank: National: PolandOffline
Brunow Palace, Lower Silesia, Poland
Jun 30, 2025 - Jul 3, 2025
Dependability of Computer SystemsDependable and timely results from quantitative and qualitative data using precise and AI models and algorithmsTheory and Practice of Dependability+69 その他