logo
and dependability

Kết quả hội nghị (2)

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Rank: BOffline
Bengaluru, India
Oct 27, 2025 - Oct 31, 2025
algorithmiccompositionaland abstraction/refinement techniques for analysis and verification+23 thêm

IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA)

Rank: COffline
Kaifeng, China
Oct 30, 2024 - Nov 2, 2024
Parallel and Distributed ProcessingParallel and Distributed ComputingNetworking+59 thêm