logo
Certification

会议结果 (5)

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsVerificationValidation+24 更多

Information Security Conference (ISC)

Rank: COffline
greater Washington DC area
Oct 23, 2024 - Oct 25, 2024
access controlanonymityapplied cryptography+39 更多

International Conference on Advanced Communications and Computation (INFOCOMP)

Rank: UnrankedOffline
Valencia, Spain
Apr 6, 2025 - Apr 10, 2025
Advanced CommunicationsComputationIntensive computing+226 更多

ACM Conference on Embedded Software (EMSOFT)

Rank: Journal publishedOffline
Taipei, Taiwan
Sep 28, 2025 - Oct 3, 2025
Embedded Software SystemsEmbedded Distributed SystemsNetworked Systems+39 更多

IEEE International Conference on Cloud Computing (CLOUD)

Rank: BOffline
Helsinki, Finland
Jul 7, 2025 - Jul 12, 2025
Cloud computing infrastructuretechnologiesapplications+55 更多