logo
and dependability

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

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

Rank: BOffline
Bengaluru, India
Oct 27, 2025 - Oct 31, 2025
Formalisms for modeling hardwaresoftware and embedded systemsSpecification and verification of finite-state+23 المزيد

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 المزيد