logo
Software Dependability

会议结果 (2)

International Conference on Tests and Proofs (TAP)

Rank: COffline
Milan, Italy
Sep 9, 2024 - Sep 10, 2024
VerificationFormal MethodsStatic Analysis+3 更多

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 更多